{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003125377,0.0001032952,0.0001138715,0.00008072392,0.0001207083,0.00006001804,0.0004914929,0.00004500757,0.000004407155],"category_scores_gemma":[0.003390638,0.00006418859,0.00001265662,0.0004993625,0.0001431045,0.0002812425,0.00008112817,0.0001172661,0.000009847775],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002118281,"about_ca_system_score_gemma":0.00004453661,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007112884,"about_ca_topic_score_gemma":0.000001684488,"domain_scores_codex":[0.9974213,0.001794626,0.0002929792,0.0002357886,0.0001376241,0.00011771],"domain_scores_gemma":[0.9958179,0.00335718,0.0001954611,0.0004944471,0.000112038,0.00002296032],"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.00003816265,0.0001847801,0.001507223,0.00004214083,0.00001665363,9.406773e-7,0.008227948,0.0148325,0.04971575,0.7659284,0.0008731568,0.1586323],"study_design_scores_gemma":[0.0002635694,0.0001998862,0.1254788,0.00005548553,0.000009185355,0.00002961825,0.00003991373,0.7294047,0.1314522,0.01183356,0.001084395,0.0001486928],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03580696,0.0001310624,0.961974,0.001283746,0.00009635311,0.000380242,5.542848e-7,0.0000563281,0.0002707724],"genre_scores_gemma":[0.4556504,0.00005431767,0.5440057,0.0002078051,0.00001149213,0.00001555692,2.012028e-7,0.000006070338,0.00004842407],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7540948,"threshold_uncertainty_score":0.4059155,"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."}}