{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0187192,0.0009960083,0.001206419,0.001909816,0.000785285,0.00397164,0.002741671,0.002709096,0.006039447],"category_scores_gemma":[0.02124381,0.0006849431,0.0008890312,0.0007141029,0.003483724,0.007819891,0.00390163,0.003462518,0.001764319],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001436113,"about_ca_system_score_gemma":0.003157627,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003756398,"about_ca_topic_score_gemma":0.0008011776,"domain_scores_codex":[0.985913,0.006065243,0.0007314771,0.0009548397,0.00557581,0.0007595778],"domain_scores_gemma":[0.9603353,0.02469883,0.001362705,0.005540146,0.007611205,0.0004518235],"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.0003216807,0.000179552,0.002330204,0.001688889,0.0001059972,0.0007757552,0.001603117,0.01957992,0.03204856,0.3825073,0.008892296,0.5499668],"study_design_scores_gemma":[0.0001138518,0.0009623986,0.002768521,0.002650267,0.0000945765,0.001893098,0.001437282,0.07015986,0.1347264,0.4260601,0.3589675,0.0001660126],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02201992,0.01603748,0.8885396,0.00778668,0.001409488,0.0002728247,0.00007610909,0.001162875,0.06269494],"genre_scores_gemma":[0.5134294,0.0193394,0.435668,0.004051884,0.0009316126,0.0003528151,0.0003719348,0.0009991551,0.0248559],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0187192,"threshold_uncertainty_score":0.09899777,"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."}}