{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005442058,0.0002646497,0.0004291002,0.0006228128,0.0003057462,0.0001151148,0.0002859532,0.0001827279,0.000003296857],"category_scores_gemma":[0.00003679272,0.0002048197,0.0001416192,0.0007483321,0.00005440406,0.0006003001,0.000002413474,0.0001335144,0.000003228037],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001376828,"about_ca_system_score_gemma":0.0001340762,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001988419,"about_ca_topic_score_gemma":0.00001386491,"domain_scores_codex":[0.9978231,0.000288559,0.0008057074,0.0005095209,0.0002715691,0.0003015635],"domain_scores_gemma":[0.9976625,0.0005905805,0.0004292786,0.0003119,0.0009012159,0.0001045438],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000009668778,0.0001319996,0.00004007081,0.0001132918,0.00009546216,9.805892e-7,0.0001499849,0.02005491,0.818421,0.0002227659,0.000008379791,0.1607515],"study_design_scores_gemma":[0.0007473099,0.0007613239,0.0005033012,0.0004781129,0.00003336027,0.00007857873,0.00003635553,0.5311249,0.4660027,0.00004166583,0.000004651827,0.0001876424],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2120467,0.00002301778,0.7860932,0.00002855476,0.0006944797,0.0005876292,0.00003401449,0.0004837459,0.000008569778],"genre_scores_gemma":[0.9982287,0.00001638068,0.001519871,0.00001008504,0.00005307094,0.00009572392,0.000002871348,0.00002394456,0.0000494062],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7861819,"threshold_uncertainty_score":0.8352307,"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."}}