{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001847812,0.0001093318,0.0001334624,0.0001111794,0.0002859465,0.0001316359,0.0001887607,0.00006220007,0.000002689402],"category_scores_gemma":[0.00008955165,0.0001005063,0.0000382059,0.0001767866,0.00002427977,0.0003918843,0.00003234821,0.0001038095,0.000005128381],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004379253,"about_ca_system_score_gemma":0.00009955995,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007983106,"about_ca_topic_score_gemma":0.000005048531,"domain_scores_codex":[0.9991217,0.00003280347,0.0002187575,0.0002316215,0.0002160766,0.000178997],"domain_scores_gemma":[0.9995401,0.000042309,0.00007321557,0.0001497565,0.000121474,0.00007313433],"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":[1.410212e-7,0.00001847518,0.00006597627,0.00001768132,0.00002197073,0.000008263809,0.000407065,0.2765044,0.004536804,0.03843357,0.000002342741,0.6799833],"study_design_scores_gemma":[0.00116693,0.0000114851,0.00300386,0.00004316004,0.000007533211,0.000055521,0.00001026225,0.9705112,0.000075025,0.02498503,0.00000680418,0.0001231606],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1306046,0.0001305728,0.868099,0.0005796769,0.0001424309,0.00009816144,0.000001964757,0.0001904588,0.000153183],"genre_scores_gemma":[0.9843256,0.00000447023,0.01495339,0.0006162912,0.00007911759,4.141196e-7,0.000003479998,0.000006876694,0.0000103201],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8537211,"threshold_uncertainty_score":0.4098527,"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."}}