{"id":"W2331856596","doi":"10.1109/tcad.2016.2538087","title":"Automated Selection of Assertions for Bit-Flip Detection During Post-Silicon Validation","year":2016,"lang":"en","type":"article","venue":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"University of Illinois at Urbana-Champaign; McGill University","keywords":"Computer science; Metric (unit); Reliability engineering; Computer engineering; Algorithm; 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.00417091,0.001225194,0.0008556475,0.002523191,0.0004211728,0.001385669,0.001552192,0.0007002736,0.003592978],"category_scores_gemma":[0.0193488,0.0003323814,0.0009249375,0.0005295272,0.000591199,0.001505999,0.0009866984,0.0007065308,0.001659916],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005454113,"about_ca_system_score_gemma":0.00163254,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001229974,"about_ca_topic_score_gemma":0.002086553,"domain_scores_codex":[0.9952826,0.001217818,0.0004009091,0.0005746757,0.002091319,0.0004327694],"domain_scores_gemma":[0.9746626,0.01376846,0.002624705,0.003092436,0.005307372,0.0005444355],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.002078802,0.0005267053,0.0374737,0.001405465,0.0002114445,0.001349854,0.0009420437,0.04830421,0.2824399,0.01333208,0.006869091,0.6050667],"study_design_scores_gemma":[0.0001545942,0.0008927326,0.009796545,0.0002983269,0.000177021,0.0007278871,0.0003491551,0.6057106,0.3631305,0.009589126,0.009068448,0.0001051121],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1441935,0.0006406681,0.8334826,0.0002122113,0.0001087435,0.0004500635,0.0007226298,0.01790244,0.002287194],"genre_scores_gemma":[0.6346884,0.0001902145,0.3597146,0.0001583809,0.00005011995,0.0002718474,0.002176859,0.001007025,0.00174257],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00417091,"threshold_uncertainty_score":0.02205813,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03042465343638086,"score_gpt":0.2413277926657911,"score_spread":0.2109031392294102,"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."}}