{"id":"W1498052443","doi":"10.1109/iwsoc.2004.71","title":"Verification strategy determination using dependence analysis of transaction-level models","year":2004,"lang":"en","type":"article","venue":"IEEE International Workshop on System-on-Chip for Real-Time Applications","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Computer science; Bottleneck; Modular design; Transaction-level modeling; Metric (unit); Functional verification; Database transaction; Formal verification; Embedded system; Programming language; Engineering","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.004724538,0.0009011208,0.0007274304,0.003274332,0.0005317618,0.001451356,0.001576564,0.0009884494,0.001919117],"category_scores_gemma":[0.02357972,0.0007759383,0.001434343,0.001131502,0.0008688329,0.003096255,0.001296185,0.001261493,0.0004363228],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001218098,"about_ca_system_score_gemma":0.001666315,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002053173,"about_ca_topic_score_gemma":0.002479943,"domain_scores_codex":[0.9929309,0.002589524,0.0006138426,0.0006199887,0.002913968,0.0003317363],"domain_scores_gemma":[0.981025,0.01091891,0.001340546,0.003779977,0.002763356,0.0001722002],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004715913,0.000431922,0.012002,0.0004033688,0.0002118027,0.0008626461,0.000623463,0.5009545,0.07365968,0.1257296,0.001577251,0.2830723],"study_design_scores_gemma":[0.00001926422,0.00008614954,0.0004135899,0.00002846812,0.00003899117,0.0001067395,0.00002579979,0.9559059,0.02107526,0.02125721,0.001018789,0.00002388308],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02765921,0.00007592121,0.9701014,0.00006099178,0.000006784903,0.0001219961,0.0000687462,0.0009474548,0.0009575696],"genre_scores_gemma":[0.6016986,0.0001800092,0.3958185,0.00006171951,0.00002011526,0.0003750337,0.000442706,0.0002699241,0.001133462],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004724538,"threshold_uncertainty_score":0.02498603,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09199069560637717,"score_gpt":0.3467204496117136,"score_spread":0.2547297540053364,"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."}}