{"id":"W4253889669","doi":"10.1109/iccad.2017.8203766","title":"An automated SAT-based method for the design of on-chip bit-flip detectors","year":2017,"lang":"en","type":"article","venue":"2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Pruning; Detector; Bit (key); Computer hardware; Chip; Flip chip; 8-bit; Computer engineering; Algorithm; Parallel computing","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.0009022795,0.001328093,0.0006790811,0.00105919,0.0004200898,0.0008898422,0.002097041,0.0008453598,0.007473146],"category_scores_gemma":[0.002710075,0.0005598139,0.0013754,0.0006997982,0.0006777436,0.001034969,0.000876486,0.001546107,0.001342808],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008299497,"about_ca_system_score_gemma":0.001787868,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00180015,"about_ca_topic_score_gemma":0.004718902,"domain_scores_codex":[0.998827,0.0003572784,0.00005624142,0.0001682219,0.0005002314,0.00009107614],"domain_scores_gemma":[0.9983029,0.001017139,0.0001099506,0.0002194215,0.0003238933,0.000026602],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002582201,0.0002827121,0.001160682,0.0008423918,0.0002672219,0.0003024553,0.0001224566,0.3809345,0.06675074,0.05234021,0.006352733,0.4903856],"study_design_scores_gemma":[0.00005708341,0.0001352349,0.0001738208,0.00002943329,0.00005030991,0.0001007476,0.00001402262,0.9658653,0.0174184,0.01194655,0.004194155,0.00001495099],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003614878,0.0001275346,0.9930768,0.00005025991,0.00002654559,0.0001137306,0.000116495,0.0017965,0.001077217],"genre_scores_gemma":[0.1150178,0.0001493183,0.8817929,0.0001360201,0.00002763065,0.0003060039,0.0006420892,0.0003150761,0.001613135],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007473146,"threshold_uncertainty_score":0.02500015,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2204056047715306,"score_gpt":0.3943213707587686,"score_spread":0.173915765987238,"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."}}