{"id":"W4235191568","doi":"10.1145/513950.513952","title":"High-Level specification and automatic generation of IP interface monitors","year":2002,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Verilog; VHDL; Embedded system; Block (permutation group theory); Interface (matter); Protocol (science); Hardware description language; Formal verification; System on a chip; Computer architecture; Programming language; Operating system; Field-programmable gate array","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008200492,0.0002820332,0.0003563869,0.0003708357,0.0001391594,0.0004517924,0.001143412,0.0001762733,0.00004160255],"category_scores_gemma":[0.0004220086,0.0002852173,0.00004080386,0.0005732947,0.00009326354,0.001873655,0.0001321393,0.0001604526,0.00005174267],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001132831,"about_ca_system_score_gemma":0.00004511742,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001824051,"about_ca_topic_score_gemma":6.351255e-7,"domain_scores_codex":[0.9977347,0.0000939916,0.000785233,0.0005838696,0.0005314829,0.0002707485],"domain_scores_gemma":[0.9977536,0.0001630803,0.0007270833,0.0005094829,0.0007403738,0.0001063899],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000004522051,0.0001189202,0.000200429,0.0003001727,0.00003685785,0.000001218296,0.006806422,0.00006885497,0.8238783,0.0628012,0.008439933,0.0973431],"study_design_scores_gemma":[0.0001584508,0.0001150262,0.0007870626,0.0001225519,0.000009746622,0.00001973203,0.00004875724,0.5811927,0.4125304,0.004794003,0.00001888037,0.0002026415],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1054974,0.00008961634,0.891749,0.0004674965,0.0002717309,0.0007177856,0.000002999133,0.0009174329,0.0002865506],"genre_scores_gemma":[0.6662037,0.00004865629,0.3334487,0.00002112147,0.00006572978,0.000101986,0.000001285734,0.00001476201,0.00009399501],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5811239,"threshold_uncertainty_score":0.99996,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2003871389227613,"score_gpt":0.2919260151815011,"score_spread":0.09153887625873977,"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."}}