{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000164786,0.0001698604,0.0001001783,0.0002702675,0.0001710244,0.0002059491,0.0003648034,0.0002962273,0.00110396],"category_scores_gemma":[0.001065428,0.000143799,0.0001966966,0.0001791046,0.0003234951,0.0001928749,0.0001454082,0.0002530903,0.0001426545],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003696458,"about_ca_system_score_gemma":0.0002471796,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003329247,"about_ca_topic_score_gemma":0.0005074467,"domain_scores_codex":[0.9998553,0.00002530176,0.000006550924,0.00002017915,0.00007812855,0.00001464781],"domain_scores_gemma":[0.9996268,0.0001797211,0.00005426909,0.00006659672,0.00005966043,0.00001302182],"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.0001225631,0.00009274898,0.001829889,0.0001925136,0.00002540416,0.0002897755,0.0001410718,0.5543612,0.3104095,0.09061024,0.0009747162,0.04095034],"study_design_scores_gemma":[0.00003142989,0.0001930114,0.0007703637,0.000008106942,0.00001361951,0.0001338219,0.00003565031,0.8017085,0.1807996,0.011675,0.004619679,0.00001115644],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6807098,0.000156921,0.306761,0.0003089914,0.00004674413,0.00009732627,0.0003751838,0.0006934417,0.01085061],"genre_scores_gemma":[0.9368514,0.00007563375,0.06092022,0.00003168939,0.000007702753,0.00008118325,0.000407248,0.00004961336,0.001575215],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.00110396,"threshold_uncertainty_score":0.003693163,"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."}}