{"id":"W1968010872","doi":"10.1145/1785481.1785497","title":"Stochastic computational models for accurate reliability evaluation of logic circuits","year":2010,"lang":"en","type":"article","venue":"","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":58,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Computer science; Computational complexity theory; Reliability (semiconductor); Scalability; Binary decision diagram; Very-large-scale integration; Electronic circuit; Computation; Logic gate; Representation (politics); Algorithm; CMOS; Theoretical computer science; Computer engineering; Electronic engineering; 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.0008611265,0.0001062693,0.0001360513,0.00007089314,0.00003342258,0.00001301579,0.0001176188,0.00007959475,0.0001384478],"category_scores_gemma":[0.0001234429,0.00009667013,0.00004334699,0.0001176761,0.00003413585,0.0002957452,0.00001024663,0.0001077941,0.00001911302],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004940183,"about_ca_system_score_gemma":0.00006950366,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003387709,"about_ca_topic_score_gemma":0.000006611693,"domain_scores_codex":[0.9990819,0.00001641936,0.0002650028,0.0001469233,0.0003330398,0.0001566842],"domain_scores_gemma":[0.9990907,0.0001810013,0.00003932821,0.000198186,0.0004495927,0.00004123617],"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.000003213675,0.00001893473,0.00001428914,0.00004275575,0.00001095612,2.23859e-8,0.0000895669,0.9885728,0.003560176,0.004778049,0.0002159052,0.002693379],"study_design_scores_gemma":[0.0005178614,0.00002723034,0.0009382071,0.000005615221,0.00002854898,0.000001083968,0.000008374824,0.9371256,0.001361281,0.05987173,0.000007159334,0.0001073061],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3379997,0.00001216485,0.65969,0.00002004413,0.0003653521,0.0004807743,0.00001346979,0.0001150145,0.001303409],"genre_scores_gemma":[0.9887067,5.450292e-7,0.01107187,0.00001497193,0.00004491914,0.00009771231,0.00002789897,0.00001795798,0.00001743617],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6507069,"threshold_uncertainty_score":0.3942094,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04956376103806719,"score_gpt":0.2860966214776291,"score_spread":0.2365328604395619,"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."}}