{"id":"W2220945235","doi":"10.4271/2004-01-0208","title":"In-vehicle Network Verification from Application to Physical Layer","year":2004,"lang":"en","type":"article","venue":"SAE technical papers on CD-ROM/SAE technical paper series","topic":"Real-time simulation and control systems","field":"Engineering","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Infineon Technologies (Canada)","funders":"","keywords":"Computer science; VHDL; Layer (electronics); Physical layer; Software; Hardware description language; Software verification; Embedded system; Abstraction; Computer architecture; Software construction; Software development; Programming language; Field-programmable gate array; Operating system","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","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.000304472,0.0005389287,0.0007179881,0.000141773,0.0001545421,0.0001077328,0.000632984,0.0005177868,0.000123976],"category_scores_gemma":[0.000121628,0.0005188638,0.000251468,0.0009765923,0.0001551929,0.0004972555,0.000107835,0.000722444,0.0008025375],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004969939,"about_ca_system_score_gemma":0.00004000859,"about_ca_topic_candidate":true,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001857703,"about_ca_topic_score_gemma":0.03024122,"domain_scores_codex":[0.9968672,0.00007970035,0.0008531929,0.0008606642,0.0006149901,0.0007241889],"domain_scores_gemma":[0.9980879,0.0002308606,0.0001011079,0.001177735,0.00006336581,0.0003390627],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"observational","study_design_scores_codex":[0.0001355468,0.0001793978,0.0000980926,0.00001557958,0.00002420039,0.000007927688,0.00005709394,0.05067116,0.9309691,0.01268973,0.0010758,0.004076441],"study_design_scores_gemma":[0.001098356,0.0002693954,0.9491777,0.000126973,0.00003136994,0.000006010656,0.00004011023,0.00002532373,0.0003950332,0.007058504,0.04117113,0.0006001188],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9488947,0.0002500764,0.0001254781,0.004296237,0.0003973564,0.002089349,0.00004447154,0.003752764,0.04014951],"genre_scores_gemma":[0.9957845,0.00005119479,0.001231059,0.001302476,0.0006056241,0.00074893,0.00006534866,0.0001230925,0.00008782186],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.9490796,"threshold_uncertainty_score":0.9999754,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007460069980278767,"score_gpt":0.2311940612932768,"score_spread":0.223733991312998,"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."}}