{"id":"W4407378099","doi":"10.1109/rsp64122.2024.10871064","title":"Enhancing the VTR Flow: Integration of ABC9 via Yosys for Better Technology Mapping and Optimization","year":2024,"lang":"en","type":"article","venue":"","topic":"Manufacturing Process and Optimization","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of New Brunswick","funders":"New Brunswick Innovation Foundation","keywords":"Computer science; Flow (mathematics); Human–computer interaction; Mathematics","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007000563,0.000693702,0.000374365,0.0006344555,0.0003027964,0.0008268775,0.0007407,0.0003383878,0.008970673],"category_scores_gemma":[0.001860014,0.0003334145,0.0004728632,0.0003967074,0.0003127225,0.0007959927,0.0007440293,0.0006374585,0.002088722],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005367832,"about_ca_system_score_gemma":0.001353877,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002889493,"about_ca_topic_score_gemma":0.004452184,"domain_scores_codex":[0.9995624,0.0001025503,0.00002577086,0.00004880749,0.0001851726,0.00007529163],"domain_scores_gemma":[0.9993673,0.0002638202,0.00007229108,0.0001292118,0.0001448842,0.00002247567],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0005239588,0.0002388893,0.005242442,0.0006055436,0.00008075824,0.0004145891,0.0004156505,0.3689915,0.08768683,0.05366547,0.02587801,0.4562563],"study_design_scores_gemma":[0.0001414792,0.0003304408,0.001055898,0.00008181949,0.00005306976,0.0002447844,0.00009036378,0.8549828,0.05869089,0.01209044,0.07218757,0.00005044335],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1346174,0.0007598342,0.7983035,0.000490133,0.0002559992,0.0002272186,0.0007407421,0.0258269,0.03877824],"genre_scores_gemma":[0.4130208,0.0003800644,0.5733233,0.0003045203,0.00004811993,0.000224648,0.001362903,0.003308826,0.008026846],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008970673,"threshold_uncertainty_score":0.03000993,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0061472140180003,"score_gpt":0.1980840385246758,"score_spread":0.1919368245066755,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}