{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0004581695,0.000250325,0.0003338797,0.0009237657,0.0002433916,0.000141811,0.001022393,0.0001501883,0.000004737235],"category_scores_gemma":[0.00005233324,0.0002570695,0.0002654913,0.001170171,0.00004999252,0.0003809087,0.00001955096,0.000144007,0.00002826165],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004931832,"about_ca_system_score_gemma":0.000124219,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001482031,"about_ca_topic_score_gemma":0.00001166437,"domain_scores_codex":[0.9977058,0.00005451795,0.0006641799,0.0006952957,0.0006537118,0.0002265026],"domain_scores_gemma":[0.9971362,0.00083273,0.0005171151,0.0009015288,0.0005213192,0.00009106466],"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.00006114029,0.000430092,0.00004076311,0.00003871325,0.0003023372,0.000001520045,0.000195955,0.8104706,0.003784892,0.1649757,0.0001205082,0.01957779],"study_design_scores_gemma":[0.0004858642,0.0001364354,0.0005601845,0.0004074227,0.0001821632,0.00001522291,0.00003745481,0.9711813,0.007922443,0.01870318,0.00003138157,0.0003369242],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009840691,0.000006144656,0.9853975,0.0002092796,0.0001752927,0.0008537535,0.0001635519,0.001347294,0.002006462],"genre_scores_gemma":[0.9046054,0.00001030394,0.09427469,0.00004643115,0.00008439516,0.0007628966,0.00008870535,0.00002550374,0.0001016467],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8947647,"threshold_uncertainty_score":0.9999881,"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."}}