{"id":"W2138002452","doi":"10.1109/date.2005.228","title":"On the Design and Verification Methodology of the Look-Aside Interface","year":2005,"lang":"en","type":"article","venue":"Design, Automation, and Test in Europe","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; SystemC; Verilog; Programming language; Interface (matter); Model checking; Unified Modeling Language; Design flow; Formal verification; Set (abstract data type); Functional verification; Verification; Formal equivalence checking; Computer architecture; Embedded system; Software; Operating system; Field-programmable gate array; Software development","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.005170014,0.0008040514,0.0006094005,0.001269789,0.0008991375,0.001865728,0.00245719,0.001417448,0.003837371],"category_scores_gemma":[0.008318885,0.0008117089,0.001347598,0.0006910902,0.003930823,0.004586151,0.00197858,0.003433701,0.001838941],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008137492,"about_ca_system_score_gemma":0.001847792,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001332736,"about_ca_topic_score_gemma":0.0007983582,"domain_scores_codex":[0.9951134,0.001374603,0.0003507294,0.0007783329,0.002109732,0.0002730476],"domain_scores_gemma":[0.9959832,0.00168962,0.0003476608,0.001124775,0.000791225,0.00006353244],"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.0001410512,0.0001032715,0.0008255867,0.0005843078,0.00006060709,0.0004446341,0.001110034,0.01881263,0.04819993,0.766568,0.002256723,0.1608932],"study_design_scores_gemma":[0.0002398405,0.0008316932,0.001008597,0.0007575398,0.0002992719,0.00151904,0.0003029869,0.2351091,0.2256674,0.3377158,0.1963081,0.0002405656],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001303168,0.0001073269,0.9968892,0.0000664023,0.00002429487,0.0000498294,0.00001112006,0.0004443644,0.001104334],"genre_scores_gemma":[0.05611686,0.0005357887,0.9403669,0.0002160892,0.00004148995,0.0002187204,0.0001005733,0.000275892,0.002127688],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005170014,"threshold_uncertainty_score":0.02734202,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08688248799410567,"score_gpt":0.3064168482555215,"score_spread":0.2195343602614158,"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."}}