{"id":"W2037762867","doi":"10.1109/tc.2012.147","title":"Analysis of Error Masking and Restoring Properties of Sequential Circuits","year":2012,"lang":"en","type":"article","venue":"IEEE Transactions on Computers","topic":"Radiation Effects in Electronics","field":"Engineering","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Sequential logic; Masking (illustration); Computer science; Binary decision diagram; Electronic circuit; Algorithm; Finite-state machine; Benchmark (surveying); Scalability; Sequence (biology); Binary number; Decoding methods; Logic gate; Electronic engineering; Mathematics; Arithmetic","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.0003593012,0.0002980156,0.0002091932,0.0005609518,0.0001381861,0.0003645275,0.0002364882,0.0002123317,0.0009198407],"category_scores_gemma":[0.002874292,0.0001364037,0.0002739007,0.0002657429,0.0003905808,0.0004122511,0.0002062916,0.0002449352,0.00008971021],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003395395,"about_ca_system_score_gemma":0.0003768404,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006159642,"about_ca_topic_score_gemma":0.0003348965,"domain_scores_codex":[0.9997428,0.00003684356,0.00001752207,0.00003721467,0.0001358578,0.00002972934],"domain_scores_gemma":[0.9981819,0.001104685,0.0003232382,0.0001773141,0.0001740775,0.00003879951],"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.0003638593,0.00005880518,0.004347894,0.0002200382,0.00004696556,0.0004058458,0.0001774689,0.6547468,0.1953405,0.08929417,0.0002538546,0.0547438],"study_design_scores_gemma":[0.000005972364,0.0001136543,0.001022897,0.000008135818,0.00001272929,0.0001087333,0.00001139606,0.958681,0.02262531,0.01697269,0.0004297943,0.000007591326],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6173857,0.0003487142,0.3778569,0.00008322549,0.00001842704,0.00004329717,0.0001036956,0.0003847617,0.003775284],"genre_scores_gemma":[0.9875915,0.00009430171,0.01177303,0.00001027314,0.000008530266,0.00001819651,0.00003553661,0.00001410843,0.0004545156],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.0009198407,"threshold_uncertainty_score":0.003077209,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02940698700378479,"score_gpt":0.237667498813885,"score_spread":0.2082605118101002,"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."}}