{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005705707,0.00201736,0.001083509,0.001773097,0.0006864586,0.003206818,0.003266743,0.00200325,0.01397542],"category_scores_gemma":[0.01430339,0.001786366,0.002286069,0.001307784,0.003226655,0.007309256,0.003040368,0.005454143,0.004554036],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001999139,"about_ca_system_score_gemma":0.002235583,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001676338,"about_ca_topic_score_gemma":0.001533467,"domain_scores_codex":[0.9926611,0.001469794,0.0003777246,0.0008279574,0.004342665,0.0003207134],"domain_scores_gemma":[0.9906836,0.004941555,0.0003498695,0.002082202,0.001793067,0.000149689],"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.0002289122,0.0001244895,0.000974996,0.002169871,0.0001521825,0.0002926085,0.0007115062,0.03356644,0.02824247,0.2154416,0.03373338,0.6843616],"study_design_scores_gemma":[0.0002003333,0.000555793,0.001244704,0.001025686,0.0001781146,0.001347122,0.0001748245,0.1325291,0.08299633,0.167463,0.6120133,0.0002716915],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003421235,0.01192464,0.9521925,0.001580795,0.001076926,0.0001421441,0.0002237794,0.008553176,0.0208849],"genre_scores_gemma":[0.06935053,0.01708278,0.8686974,0.001413091,0.00062645,0.0003676645,0.0009527738,0.005044203,0.03646508],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01397542,"threshold_uncertainty_score":0.04675239,"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."}}