{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005017721,0.0008522738,0.0008772042,0.0006599818,0.0005158033,0.002259113,0.002624299,0.001503385,0.002257628],"category_scores_gemma":[0.01063221,0.0008211702,0.001490355,0.0004664657,0.004162928,0.003858801,0.0023502,0.003112532,0.000552697],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001199163,"about_ca_system_score_gemma":0.002566801,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001660515,"about_ca_topic_score_gemma":0.001383776,"domain_scores_codex":[0.9938284,0.002496053,0.0003310398,0.0005508041,0.002312755,0.0004810303],"domain_scores_gemma":[0.9884126,0.006304005,0.0005893797,0.003844223,0.0007357179,0.0001140758],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002767559,0.0003396835,0.002089749,0.001214625,0.0001795487,0.0008228794,0.001397551,0.2327637,0.07714688,0.5114974,0.001593183,0.170678],"study_design_scores_gemma":[0.0001266712,0.0004845377,0.0003428019,0.0002002127,0.0001063337,0.0004445261,0.000120608,0.6560634,0.1562039,0.1688343,0.01699498,0.00007781446],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00789341,0.0001247546,0.9902831,0.000154201,0.00003242394,0.00003000816,0.000008556509,0.0005075986,0.0009659805],"genre_scores_gemma":[0.4673496,0.0005793131,0.5290473,0.0002520659,0.00005622223,0.0002012069,0.00009261208,0.0004701781,0.001951515],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005017721,"threshold_uncertainty_score":0.02653658,"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."}}