{"id":"W2115546910","doi":"10.1109/92.920838","title":"Structural analysis and generation of synthetic digital circuits with memory","year":2001,"lang":"en","type":"article","venue":"IEEE Transactions on Very Large Scale Integration (VLSI) Systems","topic":"VLSI and FPGA Design Techniques","field":"Engineering","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto; University of British Columbia","funders":"","keywords":"Computer science; Electronic circuit; Digital electronics; Combinational logic; Benchmark (surveying); Electronic engineering; Sequential logic; Generator (circuit theory); Logic gate; Computer architecture; Computer engineering; Engineering; Algorithm; Electrical engineering; Power (physics)","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.0001211764,0.0002180849,0.0003326496,0.0004449512,0.0001123471,0.0001275597,0.00008153054,0.0001336245,0.000041254],"category_scores_gemma":[0.000002428189,0.0001814288,0.0001150307,0.0005957772,0.00004636235,0.0004859677,5.219866e-7,0.0001709124,0.000005943053],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008205809,"about_ca_system_score_gemma":0.00001398878,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004451341,"about_ca_topic_score_gemma":0.0003102981,"domain_scores_codex":[0.9988825,0.00004709775,0.0003840935,0.0002397739,0.0002571162,0.0001894715],"domain_scores_gemma":[0.9994348,0.00004093064,0.00006883555,0.0002648017,0.0001151782,0.00007550947],"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.000132546,0.0003521877,0.003055045,0.0004284438,0.002552879,0.00003550951,0.004286522,0.6939418,0.1684563,0.0002487892,0.0003555946,0.1261545],"study_design_scores_gemma":[0.0004840363,0.0002297666,0.0005875283,0.0001517917,0.000452917,0.0001094142,0.000902733,0.8286999,0.1678477,0.00001658993,0.00008594789,0.000431668],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3937177,0.00007481692,0.6050841,0.000005679032,0.0002043439,0.0002044545,0.0000892551,0.0001970098,0.0004226152],"genre_scores_gemma":[0.999323,0.00005891173,0.0001496955,0.000005966013,0.00005619817,0.00006737498,0.000035759,0.00003015939,0.0002729411],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6056052,"threshold_uncertainty_score":0.7398452,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01293733158551884,"score_gpt":0.2052804723198291,"score_spread":0.1923431407343102,"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."}}