{"id":"W2169252349","doi":"10.1109/iscas.2004.1329525","title":"Formal verification of an SoC platform protocol converter","year":2004,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Liveness; Computer science; Formal verification; Embedded system; Protocol (science); Block (permutation group theory); Runtime verification; System on a chip; Formal methods; Intelligent verification; Functional verification; Operating system; Programming language; Software","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.002326457,0.0005190898,0.0003299756,0.0005814404,0.0005132926,0.00132397,0.0007389822,0.000597176,0.002052641],"category_scores_gemma":[0.006857881,0.0003756135,0.0007512158,0.0002396156,0.001901815,0.00118786,0.0008527361,0.000872476,0.0002739457],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008796573,"about_ca_system_score_gemma":0.002452881,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002194103,"about_ca_topic_score_gemma":0.001257999,"domain_scores_codex":[0.9981154,0.0005406597,0.0001392032,0.0001974556,0.0008298298,0.0001774314],"domain_scores_gemma":[0.9958239,0.003004057,0.0002446584,0.0004902901,0.0003898833,0.00004724853],"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.0002684382,0.000174586,0.002449419,0.0006388861,0.00008594755,0.00157716,0.0007830029,0.4568207,0.07384909,0.4102573,0.001027338,0.05206819],"study_design_scores_gemma":[0.0001558923,0.0002680278,0.0004821593,0.0001258611,0.00008299789,0.0004183899,0.0001431288,0.7744937,0.1273346,0.08150133,0.01494398,0.00004985003],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0847804,0.0001498741,0.9081783,0.0001702405,0.00005161508,0.0001925127,0.000143517,0.001776376,0.004557144],"genre_scores_gemma":[0.8037206,0.0002691424,0.1925167,0.00007798674,0.00002435167,0.0002740277,0.0002083168,0.000197341,0.002711428],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002326457,"threshold_uncertainty_score":0.01230365,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0429195031807111,"score_gpt":0.3321361254030685,"score_spread":0.2892166222223574,"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."}}