{"id":"W2616622913","doi":"10.1145/3060403.3060438","title":"Analysis of SEU Propagation in Combinational Circuits at RTL Based on Satisfiability Modulo Theories","year":2017,"lang":"en","type":"article","venue":"","topic":"Radiation Effects in Electronics","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal; Concordia University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Soft error; Combinational logic; Computer science; Satisfiability modulo theories; Digital electronics; Very-large-scale integration; Boolean satisfiability problem; Modulo; Satisfiability; Single event upset; Electronic circuit; Computer engineering; Register-transfer level; Algorithm; Parallel computing; Logic gate; Logic synthesis; Electronic engineering; Mathematics; Static random-access memory; Embedded system; Computer hardware; Engineering","routes":{"ca_aff":true,"ca_fund":true,"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.0006309605,0.0006079342,0.0003960255,0.001700551,0.0002273135,0.0004304633,0.0005984982,0.0003414443,0.000782032],"category_scores_gemma":[0.002718145,0.0002324965,0.0008009204,0.0006770707,0.000534841,0.0009808559,0.0002836036,0.0004612714,0.0001122601],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005830156,"about_ca_system_score_gemma":0.0005946981,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001182052,"about_ca_topic_score_gemma":0.001406404,"domain_scores_codex":[0.9995378,0.0001149627,0.00002690645,0.00005115041,0.00022451,0.00004462023],"domain_scores_gemma":[0.9983955,0.001068489,0.0002148089,0.0001563709,0.0001468168,0.00001788314],"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.00008924021,0.00006446528,0.005714964,0.0002433303,0.0001123779,0.0002416168,0.0001263376,0.8641808,0.0400346,0.01888445,0.0002355669,0.07007226],"study_design_scores_gemma":[0.000003061933,0.00004567188,0.0006367309,0.000005879856,0.00001374133,0.00004727357,0.00001333227,0.9882294,0.007329601,0.00350852,0.0001624628,0.00000439149],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2556545,0.0004514146,0.7415473,0.00006647902,0.00001271227,0.00005950084,0.0001191144,0.0006773518,0.001411667],"genre_scores_gemma":[0.8839878,0.0003712308,0.1148674,0.00001743202,0.00001432129,0.00006241485,0.0002089185,0.0000606711,0.0004097931],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001700551,"threshold_uncertainty_score":0.004230142,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0056314796992857,"score_gpt":0.2294224985411357,"score_spread":0.22379101884185,"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."}}