{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001228709,0.000460468,0.000284243,0.0004600635,0.0002315272,0.001161124,0.001033781,0.0007089941,0.003091073],"category_scores_gemma":[0.005253718,0.0005209258,0.0004093818,0.0002732849,0.0006819691,0.001113176,0.0006143566,0.001174589,0.001029811],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004447277,"about_ca_system_score_gemma":0.0008662703,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004283021,"about_ca_topic_score_gemma":0.0004940623,"domain_scores_codex":[0.9984521,0.0004143709,0.0001290959,0.0001747868,0.0007266778,0.0001030159],"domain_scores_gemma":[0.9972605,0.001423661,0.0002691858,0.0005500882,0.0004529894,0.00004368473],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0004723476,0.0002511317,0.004741237,0.0007740817,0.00005717873,0.001240373,0.0009342775,0.1176018,0.3923127,0.1969148,0.009248368,0.2754516],"study_design_scores_gemma":[0.0001575911,0.0002257258,0.0006660851,0.00005970924,0.00003931559,0.0005117389,0.00006304665,0.655144,0.2937659,0.02514526,0.02419064,0.00003093441],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01457322,0.00002763263,0.9784585,0.00006342798,0.00001598975,0.000112549,0.0001249414,0.004919303,0.001704556],"genre_scores_gemma":[0.272342,0.00009679003,0.7226751,0.0001166492,0.00001976531,0.0004227199,0.0004961513,0.001007364,0.002823383],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003091073,"threshold_uncertainty_score":0.01034063,"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."}}