{"id":"W4244102356","doi":"10.1109/dac.2002.1012607","title":"High-level specification and automatic generation of IP interface monitors","year":2002,"lang":"en","type":"article","venue":"Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Verilog; VHDL; Block (permutation group theory); Embedded system; Interface (matter); Protocol (science); Formal verification; System on a chip; Hardware description language; Chip; 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.001228837,0.0004184631,0.0004606908,0.0004892963,0.0002520053,0.0005432963,0.0009851707,0.0002606126,0.0002279015],"category_scores_gemma":[0.0006773951,0.000434461,0.0000643259,0.0008919088,0.0001868269,0.002893274,0.000110035,0.000225636,0.000394909],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000213171,"about_ca_system_score_gemma":0.00008338407,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002056692,"about_ca_topic_score_gemma":7.313343e-7,"domain_scores_codex":[0.99678,0.0001498273,0.001081337,0.0008178112,0.0007289978,0.00044196],"domain_scores_gemma":[0.9967062,0.0001432785,0.001034951,0.0005173269,0.001412739,0.0001855184],"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.00001520122,0.0002959027,0.0001976476,0.000427702,0.00006515572,0.000001224842,0.007581986,0.0005179217,0.7247902,0.06730241,0.01153336,0.1872713],"study_design_scores_gemma":[0.0003395797,0.0001754851,0.002197267,0.0001114166,0.00002337743,0.00002059817,0.00008855778,0.7940775,0.2017335,0.0007729591,0.0001041474,0.0003555757],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1415188,0.00006247826,0.8549628,0.0003417959,0.0009184947,0.0008306606,0.000007705462,0.0005609349,0.0007963162],"genre_scores_gemma":[0.4754014,0.0001286675,0.5237292,0.00003658265,0.0001343875,0.0001095035,0.000003900271,0.00002185728,0.0004345063],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7935596,"threshold_uncertainty_score":0.9998107,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1901769282912303,"score_gpt":0.2921177476427763,"score_spread":0.1019408193515461,"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."}}