{"id":"W2162070270","doi":"10.1109/imtc.1998.679821","title":"Synthesis of multiplexor-based FPGAs using 123-decision diagrams","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Windsor","funders":"","keywords":"Field-programmable gate array; Multiplexer; Binary decision diagram; Computer science; Programmable Array Logic; Programmable logic array; Programmable logic device; Diagram; Binary number; Logic synthesis; Parallel computing; Computer architecture; Embedded system; Computer hardware; Algorithm; Logic gate; Arithmetic; Mathematics; Multiplexing; Logic family","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004932059,0.00009748389,0.0001487083,0.0001249731,0.00006522591,0.00004587129,0.0006650809,0.00006036343,0.00009797954],"category_scores_gemma":[0.0006977285,0.00008238181,0.00007249405,0.0004418004,0.0000516984,0.0003746594,0.00009195341,0.00005819309,0.00007317428],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004001652,"about_ca_system_score_gemma":0.0000119696,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003910822,"about_ca_topic_score_gemma":0.000002473329,"domain_scores_codex":[0.9988636,0.0001046043,0.0002931234,0.0002536555,0.000310501,0.0001745221],"domain_scores_gemma":[0.9984845,0.0005212296,0.0001262233,0.000727231,0.00008369015,0.00005712994],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000009125061,0.0002312893,0.001259696,0.0000265308,0.000007655532,0.000003005687,0.000179199,0.005467733,0.01568649,0.02183836,0.0002008726,0.95509],"study_design_scores_gemma":[0.0001015718,0.00002438191,0.001161003,0.00002713373,0.000003431909,0.000002271025,0.000006012478,0.8253849,0.1723987,0.0005124457,0.0002892594,0.00008894545],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.08246688,0.00003249398,0.915162,0.00005936298,0.0002079299,0.00009968513,8.312699e-7,0.000103167,0.001867629],"genre_scores_gemma":[0.4623599,0.000003094332,0.5375571,0.0000391338,0.00001014388,0.000003895998,8.317163e-8,0.000004003415,0.00002264568],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9550011,"threshold_uncertainty_score":0.3359433,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0904268912087738,"score_gpt":0.3065031609679983,"score_spread":0.2160762697592245,"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."}}