{"id":"W2107629078","doi":"10.1109/date.2006.244005","title":"Efficient Assertion Based Verification using TLM","year":2006,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":19,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Assertion; Database transaction; Transaction-level modeling; Metric (unit); Computer engineering; Programming language; Theoretical computer science","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.0004874125,0.00007474591,0.00006071249,0.00009911747,0.0001063567,0.0000939123,0.0003189709,0.00004635225,0.00001451285],"category_scores_gemma":[0.00003359876,0.00007092575,0.00003245029,0.0004204013,0.0000196433,0.0001714788,0.00002993268,0.00004890301,0.00005291956],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001030384,"about_ca_system_score_gemma":0.00004493228,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009981914,"about_ca_topic_score_gemma":0.000001958804,"domain_scores_codex":[0.999094,0.00008472611,0.000196865,0.0002466351,0.000226656,0.0001510921],"domain_scores_gemma":[0.9992869,0.00002628508,0.00008771339,0.0004850382,0.00008718846,0.00002683862],"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.00000585344,0.0001575582,0.0005340264,0.00001148925,0.000001811978,8.293973e-7,0.00003316844,0.2402031,0.1385259,0.6085832,0.0001236913,0.01181943],"study_design_scores_gemma":[0.00009603122,0.00001258259,0.01338431,0.000004356864,0.000001957751,0.000001850637,0.000002377034,0.907213,0.07813705,0.0007491297,0.0003117943,0.00008560152],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1076664,0.00001036945,0.8860173,0.0001048486,0.0002660285,0.0001077335,2.447495e-7,0.000218845,0.005608277],"genre_scores_gemma":[0.4848201,6.619054e-8,0.5150558,0.00004919103,0.00002317753,0.000004202655,0.000001907207,0.000002937957,0.00004255894],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6670098,"threshold_uncertainty_score":0.2892268,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03253845833347391,"score_gpt":0.2922231794513031,"score_spread":0.2596847211178291,"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."}}