{"id":"W2027249925","doi":"10.1109/reconfig.2010.66","title":"Applying Model-Checking to Post-Silicon-Verification: Bridging the Specification-Realisation Gap","year":2010,"lang":"en","type":"article","venue":"","topic":"Radiation Effects in Electronics","field":"Engineering","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Institut National de la Recherche Scientifique","funders":"","keywords":"Bridging (networking); Realisation; Computer science; Model checking; Formal verification; Silicon; Programming language; Software engineering; Materials science; Optoelectronics; Physics; Computer security","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.0004209017,0.0001553114,0.0001038309,0.0001076061,0.0001989083,0.0001289107,0.000298356,0.00008246239,0.000075731],"category_scores_gemma":[0.0001125549,0.0001355138,0.00004569952,0.0003123151,0.00002353068,0.0002979919,0.00001836235,0.0003438423,0.0001477867],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001317098,"about_ca_system_score_gemma":0.00004345147,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003272461,"about_ca_topic_score_gemma":0.0001133742,"domain_scores_codex":[0.998971,0.00002002608,0.0002652066,0.0002240258,0.0002285588,0.000291204],"domain_scores_gemma":[0.9990504,0.0001141463,0.00004518796,0.0006088731,0.00009982024,0.00008155825],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000001802126,0.000005699253,0.00005355847,0.000009081731,0.00001089575,1.240194e-7,0.0004410094,0.7956726,0.1411096,0.02825102,0.001050375,0.03339424],"study_design_scores_gemma":[0.00007808632,0.000006455429,0.001582142,0.000004266158,0.00000858507,0.000006048367,0.00007415649,0.9716709,0.01771713,0.0005161847,0.008152853,0.0001831788],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3868918,0.00006144864,0.5838561,0.002382532,0.0007628888,0.001334757,0.000007007183,0.0009847968,0.02371864],"genre_scores_gemma":[0.9933645,0.00000822403,0.005096893,0.0004431511,0.0003899301,0.0004254502,0.00002941693,0.00005007132,0.0001924025],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6064727,"threshold_uncertainty_score":0.5526091,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01499984135167132,"score_gpt":0.2362914916841812,"score_spread":0.2212916503325099,"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."}}