{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000403876,0.0004114715,0.0002964134,0.0004121537,0.0002192068,0.0006369809,0.0002929201,0.0002835323,0.001831364],"category_scores_gemma":[0.0008873529,0.0002107631,0.0004383509,0.0003070417,0.0002759721,0.0005040685,0.0001923982,0.0003304642,0.0003330482],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005372405,"about_ca_system_score_gemma":0.0005606149,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001028131,"about_ca_topic_score_gemma":0.001362534,"domain_scores_codex":[0.9996549,0.00009473236,0.00003272792,0.00005461579,0.0001259836,0.00003701658],"domain_scores_gemma":[0.9996592,0.0001749571,0.0000560467,0.00003908834,0.00005297809,0.00001775554],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003991511,0.0001216815,0.001129608,0.0005395505,0.0001004086,0.0008482568,0.0002523532,0.3436384,0.1572254,0.3112407,0.002440462,0.182064],"study_design_scores_gemma":[0.0001812813,0.0003118944,0.0003502383,0.00008493297,0.00009042327,0.0003804323,0.00004394184,0.7035527,0.1939696,0.06903556,0.03194728,0.00005173783],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.08344004,0.0003376836,0.9049196,0.0001162571,0.00007568186,0.00009034836,0.000288786,0.0009839115,0.009747812],"genre_scores_gemma":[0.6419055,0.0004756488,0.353585,0.00006577999,0.00001598702,0.0001202905,0.000339941,0.00009507651,0.003396698],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.001831364,"threshold_uncertainty_score":0.006126463,"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."}}