{"id":"W4283708895","doi":"10.1109/isqed54688.2022.9806199","title":"Layout-based Vulnerability Analysis of LEON3 Processor to Single Event Multiple Transients using Satisfiability Modulo Theories","year":2022,"lang":"en","type":"article","venue":"2022 23rd International Symposium on Quality Electronic Design (ISQED)","topic":"Radiation Effects in Electronics","field":"Engineering","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Modulo; Event (particle physics); Soft error; Computer science; Adjacency list; Xeon Phi; Application-specific integrated circuit; Fault injection; Vulnerability (computing); Parallel computing; Reliability (semiconductor); Algorithm; Computer hardware; Arithmetic; Mathematics; Engineering; Electronic engineering; Discrete mathematics; Software; Physics","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.0005997036,0.0003727976,0.0003016925,0.001153879,0.0002263523,0.0003357508,0.0004247532,0.0002607025,0.001127542],"category_scores_gemma":[0.002634544,0.0001618054,0.0008307461,0.000554672,0.0003981899,0.0006552528,0.0004407443,0.000265865,0.0000986668],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005606744,"about_ca_system_score_gemma":0.0008506289,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002882739,"about_ca_topic_score_gemma":0.002624319,"domain_scores_codex":[0.9996043,0.0001134093,0.00002061073,0.00004481579,0.0001494229,0.00006752741],"domain_scores_gemma":[0.9987582,0.0007478444,0.0001830394,0.0001271148,0.0001658693,0.0000180038],"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.0000963489,0.00003133548,0.01380011,0.0001188802,0.00007091441,0.0002477107,0.00007747745,0.9278536,0.01582284,0.006809797,0.0005167024,0.03455436],"study_design_scores_gemma":[0.000004279605,0.00004973325,0.001716593,0.00000620968,0.00001565823,0.00007916163,0.00003071639,0.9904941,0.004818998,0.002582252,0.0001975212,0.000004875172],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6761675,0.0003071703,0.319661,0.0001278772,0.00001212648,0.0000734926,0.00033971,0.0008723181,0.002438839],"genre_scores_gemma":[0.9648559,0.0001167599,0.03433907,0.00002066262,0.000004946512,0.00003323043,0.0002748621,0.00003533915,0.0003192113],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.002882739,"threshold_uncertainty_score":0.005731881,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02069926080672549,"score_gpt":0.2921062454567342,"score_spread":0.2714069846500088,"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."}}