{"id":"W2140718808","doi":"10.1023/b:aurc.0000030911.02374.62","title":"Modeling Combinational Circuits Using Linear Word-level Structures","year":2004,"lang":"en","type":"article","venue":"Automation and Remote Control","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary","funders":"","keywords":"Netlist; Combinational logic; Computer science; Sequential logic; Word (group theory); Benchmark (surveying); Electronic circuit; Arithmetic; Algorithm; Register-transfer level; Theoretical computer science; Logic synthesis; Logic gate; Mathematics; Computer hardware; Engineering","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.0002132331,0.0005061434,0.000258889,0.0003293662,0.000243652,0.001034,0.001091921,0.0009029653,0.004041066],"category_scores_gemma":[0.0009966281,0.0003829486,0.0004799801,0.0004497251,0.0005063472,0.001789078,0.0003432292,0.000768163,0.0009029541],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005447005,"about_ca_system_score_gemma":0.0004595722,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001837378,"about_ca_topic_score_gemma":0.003271388,"domain_scores_codex":[0.9997885,0.0000586018,0.00001277718,0.0000357719,0.00007599426,0.00002834982],"domain_scores_gemma":[0.9996037,0.0002034409,0.00005672888,0.00005236067,0.00007325233,0.00001048472],"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.00005774407,0.0000357499,0.0003470437,0.00009771581,0.00003283105,0.0001192358,0.00009206291,0.899749,0.01549597,0.06407543,0.0004962606,0.01940095],"study_design_scores_gemma":[0.000006309552,0.00002864561,0.00003844306,0.000005396408,0.00001276012,0.00002539401,0.000006888677,0.9840328,0.003445372,0.01129429,0.001098962,0.000004794143],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05519258,0.0003268772,0.9338292,0.000155462,0.00003858994,0.00006151976,0.0001325225,0.0009142466,0.009349148],"genre_scores_gemma":[0.8186169,0.0006085692,0.1675187,0.000129117,0.00004754828,0.0001477239,0.0002353735,0.0001791546,0.01251694],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004041066,"threshold_uncertainty_score":0.01351875,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04086989046032987,"score_gpt":0.2662269414142213,"score_spread":0.2253570509538914,"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."}}