{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001128221,0.0007603068,0.0009452772,0.0008052879,0.0005427261,0.001044672,0.001457026,0.001055072,0.001525534],"category_scores_gemma":[0.006079507,0.0005019662,0.001034673,0.0009091006,0.001113965,0.001575162,0.0007830738,0.001681746,0.0003036721],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00157415,"about_ca_system_score_gemma":0.001250352,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004216176,"about_ca_topic_score_gemma":0.003440712,"domain_scores_codex":[0.9991437,0.000273255,0.00003500593,0.00006596017,0.0004117798,0.00007025329],"domain_scores_gemma":[0.9979092,0.001447185,0.0001629605,0.0001968955,0.0002338464,0.00004980481],"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.00001110205,0.00000867482,0.0001155269,0.00002303285,0.000008655757,0.00001993935,0.00001337121,0.9196454,0.0007052579,0.07619125,0.0003088796,0.002948985],"study_design_scores_gemma":[0.000001114467,0.00000213967,0.000009909719,0.000001331351,9.690925e-7,0.000003196138,6.91179e-7,0.9921669,0.00009000861,0.007581148,0.000141181,0.000001501931],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0103765,0.0003941496,0.984912,0.0002617016,0.0000414872,0.00003609644,0.00008599792,0.0002169878,0.003675081],"genre_scores_gemma":[0.748283,0.00149434,0.2446317,0.000272236,0.0002044534,0.0004928579,0.0002928841,0.0002100255,0.004118452],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004216176,"threshold_uncertainty_score":0.01142126,"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."}}