{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009485752,0.0003649656,0.0002602582,0.0003019267,0.0003204315,0.001076316,0.0009181506,0.0003620902,0.003847214],"category_scores_gemma":[0.00274823,0.0002259028,0.0003555457,0.0001541114,0.000563883,0.001123743,0.000787765,0.0006384499,0.0007724134],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000698627,"about_ca_system_score_gemma":0.001380509,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00363258,"about_ca_topic_score_gemma":0.002577238,"domain_scores_codex":[0.998575,0.0004726667,0.00006818266,0.0001060282,0.0006524427,0.0001256752],"domain_scores_gemma":[0.9987701,0.0004000806,0.000073066,0.0003413414,0.0003943846,0.00002109078],"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.0004916349,0.000187638,0.003617124,0.0006338257,0.00009644637,0.001012539,0.0004800447,0.5550898,0.1411898,0.1238184,0.006164773,0.167218],"study_design_scores_gemma":[0.00003872198,0.0001331761,0.000672261,0.00005437818,0.00003953966,0.0001757845,0.00007468263,0.8246584,0.1388546,0.01247721,0.02280531,0.00001587564],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04144769,0.0001432369,0.9396536,0.0002134007,0.0001345737,0.0001274449,0.0001226095,0.003190819,0.01496663],"genre_scores_gemma":[0.8734365,0.0003957675,0.1121947,0.0001595752,0.00003374447,0.0001692965,0.0003305768,0.0004512872,0.01282849],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003847214,"threshold_uncertainty_score":0.01287019,"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."}}