{"id":"W2163831654","doi":"10.1109/ishls.1994.302350","title":"H/W-S/W co-verification in ATM","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Bell (Canada)","funders":"","keywords":"Emulation; Interface (matter); Computer science; Software; Operating system; Embedded system; Programming language; Software engineering","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.001750591,0.0003681047,0.0003347426,0.0005370285,0.0006863431,0.001340325,0.0006152062,0.0006655827,0.00580437],"category_scores_gemma":[0.002922833,0.0003401648,0.0006948344,0.0003215291,0.001119727,0.002086035,0.00178361,0.0008531904,0.001371111],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007729211,"about_ca_system_score_gemma":0.001323871,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003065861,"about_ca_topic_score_gemma":0.002367893,"domain_scores_codex":[0.997678,0.0007254139,0.0001474109,0.0003195771,0.0008618037,0.0002678736],"domain_scores_gemma":[0.9984599,0.0006816457,0.0001042608,0.000405195,0.0002975181,0.00005137004],"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.0006326502,0.000238059,0.002294147,0.0002773071,0.00008709914,0.001378678,0.000601269,0.08255646,0.09360097,0.5466784,0.006505746,0.2651493],"study_design_scores_gemma":[0.0001251981,0.0002490781,0.0007157034,0.00006645547,0.00005943127,0.0005229222,0.000138126,0.6185867,0.2102433,0.1182426,0.05100346,0.00004710569],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0278933,0.00009995648,0.9534742,0.0002205186,0.00006419099,0.0001125002,0.00006568704,0.002747467,0.01532217],"genre_scores_gemma":[0.6871338,0.0001494146,0.2965857,0.0002195531,0.00003148811,0.0001827733,0.000171074,0.0005689399,0.01495727],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00580437,"threshold_uncertainty_score":0.01941752,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06306230400363537,"score_gpt":0.3071457762355169,"score_spread":0.2440834722318815,"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."}}