{"id":"W2147399734","doi":"10.1109/ccece.2005.1557053","title":"A new logic synthesis, exorbds","year":2006,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Saskatchewan","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Benchmark (surveying); Field-programmable gate array; Boolean function; Combinational logic; Logic synthesis; Minification; Logic gate; Electronic circuit; Sequential logic; Binary decision diagram; Functional decomposition; Algorithm; Arithmetic; Mathematics; Computer hardware; Engineering","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002253686,0.0000571973,0.00006328247,0.00004354804,0.0000378993,0.00007535397,0.0005422216,0.00003329923,0.0001052454],"category_scores_gemma":[0.00005818305,0.00004649992,0.00002650581,0.0002197355,0.00001085395,0.0003087076,0.00007495802,0.00003759974,0.0002942093],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002053447,"about_ca_system_score_gemma":0.00003182061,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001890563,"about_ca_topic_score_gemma":0.000006793386,"domain_scores_codex":[0.9994078,0.0000416847,0.0001154821,0.0001734158,0.0001270642,0.0001345048],"domain_scores_gemma":[0.999443,0.00005833572,0.00003346494,0.0004101194,0.00001899069,0.00003606778],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[4.527036e-7,0.000008780244,0.00006474371,0.000001260483,6.918786e-7,9.306311e-7,0.000009070584,0.00002138411,0.0006359756,0.9178101,0.005919039,0.07552756],"study_design_scores_gemma":[0.0002547286,0.00008719953,0.03697721,0.00001860828,0.000008875458,0.00006367124,0.00001529651,0.1233714,0.2354522,0.5026433,0.1005221,0.0005854856],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0002591794,0.00003954966,0.8875768,0.0005053832,0.0001645316,0.00004218913,8.473146e-8,0.0002329021,0.1111794],"genre_scores_gemma":[0.04241575,0.00000197001,0.9535659,0.0001842334,0.00007533147,0.000006180939,1.842428e-7,0.000002771206,0.0037477],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4151668,"threshold_uncertainty_score":0.3781564,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02742128815305526,"score_gpt":0.275073237548608,"score_spread":0.2476519493955527,"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."}}