{"id":"W4250776205","doi":"10.1109/edac.1990.136649","title":"A new synthesis technique for multilevel combinational circuits","year":2002,"lang":"en","type":"article","venue":"Proceedings of the European Design Automation Conference, 1990., EDAC.","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto; Bell (Canada)","funders":"","keywords":"Computer science; Combinational logic; Function (biology); Simple (philosophy); Electronic circuit; Boolean function; Minification; Cascade; Algorithm; Computer engineering; CMOS; Topology (electrical circuits); Logic gate; Theoretical computer science; Mathematics; Electronic engineering; Engineering; Programming language","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.0001703771,0.0005057917,0.0003775227,0.0006075879,0.0004945396,0.0006813055,0.0008190411,0.0003737343,0.006339135],"category_scores_gemma":[0.0004869043,0.0003560297,0.0007144279,0.0005829397,0.000314521,0.0008215948,0.0006992932,0.0009693077,0.00183365],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004514752,"about_ca_system_score_gemma":0.0003686223,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004007735,"about_ca_topic_score_gemma":0.001170523,"domain_scores_codex":[0.9996192,0.00003725921,0.00003077322,0.00007377198,0.0002089079,0.00003006787],"domain_scores_gemma":[0.9998343,0.00004016741,0.00001782882,0.00005039819,0.00004777884,0.000009445619],"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.00008765256,0.00003934886,0.0001843745,0.0006857601,0.00007777066,0.0003210241,0.0002225182,0.0163272,0.3836854,0.1093947,0.00666007,0.4823143],"study_design_scores_gemma":[0.0001110525,0.0004590275,0.0007359304,0.0001998425,0.0002070725,0.002263697,0.00007650214,0.2381183,0.3344852,0.09038206,0.3328763,0.00008499286],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00307307,0.0004068321,0.9861925,0.0001131183,0.00009181826,0.00006918536,0.00009274444,0.0008372983,0.009123442],"genre_scores_gemma":[0.09550941,0.000638698,0.8962475,0.0001616533,0.0001142274,0.0001883197,0.000233734,0.0001875222,0.006718853],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006339135,"threshold_uncertainty_score":0.0212065,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03696669672497958,"score_gpt":0.2079828785734062,"score_spread":0.1710161818484267,"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."}}