{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000318752,0.0007465592,0.0003345847,0.001140449,0.0003218174,0.0008392496,0.0009233032,0.0002987657,0.005864527],"category_scores_gemma":[0.000627081,0.0003470294,0.0006077092,0.0005339704,0.0003805272,0.001034281,0.0007091955,0.0006600995,0.0009132387],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005744948,"about_ca_system_score_gemma":0.0009801026,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007183443,"about_ca_topic_score_gemma":0.001916309,"domain_scores_codex":[0.9994474,0.000073085,0.00004675148,0.0001339049,0.0002629812,0.00003592178],"domain_scores_gemma":[0.9997367,0.00007427548,0.00002950969,0.00006674476,0.00007999806,0.00001274116],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001402653,0.00007760915,0.0007177656,0.0005075155,0.0000595277,0.0001884923,0.00008056572,0.03076767,0.1225665,0.06685862,0.004827988,0.7732075],"study_design_scores_gemma":[0.0001985738,0.0006522535,0.0008696443,0.0002003849,0.0001570733,0.001519428,0.00008702583,0.4226253,0.257267,0.03799289,0.2783582,0.00007227373],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004670342,0.0004812546,0.9874277,0.00009546684,0.0001216316,0.00006069746,0.00008065284,0.001102016,0.005960314],"genre_scores_gemma":[0.06139836,0.0005143688,0.9293401,0.0001673206,0.00005310248,0.0001069127,0.0002588309,0.0001837291,0.007977285],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005864527,"threshold_uncertainty_score":0.01961881,"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."}}