{"id":"W4403692374","doi":"10.1561/3500000003","title":"QED and Symbolic QED: Dramatic Improvements in Pre-Silicon Verification and Post-Silicon Validation","year":2024,"lang":"en","type":"article","venue":"Foundations and Trends® in Integrated Circuits and Systems","topic":"Silicon and Solar Cell Technologies","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Infineon Technologies (Canada)","funders":"","keywords":"Silicon; Computer science; Physics; 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.0002326133,0.0001933017,0.0002434638,0.0006996405,0.0000788473,0.0005021037,0.00005353359,0.0001706407,0.00001224507],"category_scores_gemma":[0.00003614716,0.000172867,0.00001662873,0.0005043115,0.00007033343,0.0003935694,0.00001762909,0.0002201035,0.000002759531],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006715055,"about_ca_system_score_gemma":0.00001403164,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008372844,"about_ca_topic_score_gemma":0.0003403694,"domain_scores_codex":[0.9989731,0.00004584507,0.000392686,0.0003166659,0.00008488862,0.0001868695],"domain_scores_gemma":[0.9996561,0.00007006164,0.0000351548,0.000156166,0.00003067189,0.00005182508],"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.00001144236,0.00008710805,0.03140304,0.001409472,0.000165231,0.00001491739,0.007776289,0.0003222309,0.0890175,0.03118286,0.0001147538,0.8384951],"study_design_scores_gemma":[0.001793111,0.0002609231,0.4158401,0.001276321,0.00009765225,0.0001026995,0.008038803,0.5641167,0.002135686,0.001262245,0.004253316,0.0008224119],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9932247,0.004767797,0.0001733107,0.00006626827,0.0002850891,0.0002958008,0.00003374186,0.0002357024,0.0009175559],"genre_scores_gemma":[0.9982635,0.001097086,0.000008472675,0.000006618284,0.00001692412,0.0001244639,0.0001528165,0.00002151332,0.000308607],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8376728,"threshold_uncertainty_score":0.7049313,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01726482535446249,"score_gpt":0.2518254895574072,"score_spread":0.2345606642029447,"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."}}