{"id":"W2042692297","doi":"10.1145/1837274.1837300","title":"Bridging pre-silicon verification and post-silicon validation","year":2010,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":40,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Silicon; Emulation; Computer science; Bridging (networking); Scope (computer science); Formal verification; Systems engineering; Engineering; Materials science; Theoretical computer science; Programming language; Optoelectronics","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002401037,0.00007242131,0.00006414418,0.00006132917,0.0001262918,0.000214925,0.0002278022,0.000043352,0.00001397678],"category_scores_gemma":[0.0001225175,0.00006829901,0.00001775077,0.0001325759,0.00002263034,0.0008006992,0.00005939978,0.0001169086,0.00002376634],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000006318272,"about_ca_system_score_gemma":0.0000251689,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001143765,"about_ca_topic_score_gemma":0.00001971484,"domain_scores_codex":[0.9993314,0.0000193652,0.0001281276,0.0002718227,0.0001091405,0.000140123],"domain_scores_gemma":[0.9994615,0.000049153,0.00005373208,0.0003004436,0.00007344934,0.00006176902],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"observational","study_design_scores_codex":[9.263279e-8,0.0000115586,0.006908967,0.000005860505,0.000001753421,6.52997e-7,0.0002630862,0.000005908165,0.4880286,0.02162219,0.00002291155,0.4831284],"study_design_scores_gemma":[0.0003104897,0.00007228953,0.4980583,0.00001955232,0.000008260193,0.00008785079,0.00003526112,0.3316763,0.166911,0.001969784,0.0005074895,0.0003434165],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7835485,0.00001261815,0.2130148,0.0005880354,0.0001618384,0.00006979099,3.801668e-7,0.0002006195,0.002403497],"genre_scores_gemma":[0.9978818,0.000002259209,0.001609386,0.0002246142,0.00007948274,0.000004430193,0.00000465065,0.000004399853,0.0001889192],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4911493,"threshold_uncertainty_score":0.2785153,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01230324504264087,"score_gpt":0.2378768151217093,"score_spread":0.2255735700790684,"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."}}