{"id":"W2598592595","doi":"10.1109/fdl.2016.7880371","title":"Comprehensive non-functional analysis of combinational circuits vulnerability to single event transients","year":2016,"lang":"en","type":"article","venue":"","topic":"Radiation Effects in Electronics","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University; Polytechnique Montréal","funders":"","keywords":"Satisfiability modulo theories; Observability; Soft error; Computer science; Algorithm; Set (abstract data type); Combinational logic; Parametric statistics; Event (particle physics); Satisfiability; Boolean satisfiability problem; Constraint satisfaction problem; Static timing analysis; Theoretical computer science; Computer engineering; Logic gate; Electronic engineering; Probabilistic logic; Mathematics; Engineering; Embedded system; Programming language","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.0005723662,0.0009002022,0.0004689515,0.0007158212,0.0002649621,0.0004893997,0.0006001295,0.0003947549,0.001669393],"category_scores_gemma":[0.001828823,0.0002634477,0.0008927662,0.0004064549,0.000359749,0.0007511489,0.0003369417,0.0004558385,0.0001613446],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006325099,"about_ca_system_score_gemma":0.0008670276,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002690044,"about_ca_topic_score_gemma":0.004415789,"domain_scores_codex":[0.9996529,0.00007397737,0.00001578708,0.00004488247,0.0001662462,0.00004628449],"domain_scores_gemma":[0.9989341,0.0006251243,0.0001262472,0.0001477488,0.0001488042,0.00001799409],"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.0000253605,0.00001938741,0.0005726825,0.00004618571,0.00002891904,0.00007238712,0.00001650006,0.9772371,0.00824609,0.001985939,0.0001071065,0.01164241],"study_design_scores_gemma":[0.000001298229,0.00002553043,0.000203709,0.000001785313,0.000007746717,0.00001688817,0.000004777546,0.9965485,0.002322146,0.000782303,0.00008347781,0.000001934204],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2123065,0.000401613,0.7823468,0.0001078948,0.00001796164,0.0000840877,0.0001916255,0.001256097,0.003287385],"genre_scores_gemma":[0.9551599,0.0002280575,0.04274096,0.00002175669,0.00001174454,0.00005911218,0.0002013836,0.00006442313,0.001512655],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002690044,"threshold_uncertainty_score":0.005584717,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01289874697044329,"score_gpt":0.2335763368836899,"score_spread":0.2206775899132466,"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."}}