{"id":"W2170457047","doi":"10.1109/fmcad.2006.11","title":"Design for Verification of the PCI-X Bus","year":2006,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"SystemC; Computer science; Embedded system; USable; Conventional PCI; PCI configuration space; Model checking; Formal verification; Unified Modeling Language; System on a chip; Electronic system-level design and verification; Verification; Functional verification; Computer architecture; Intelligent verification; Software engineering; PCI Express; Field-programmable gate array; Programming language; Software; Software system; Software construction","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":[],"consensus_categories":[],"category_scores_codex":[0.0004570225,0.00003704957,0.00004327958,0.00002036325,0.00005153121,0.0000192974,0.0005456327,0.00002511859,0.000002960021],"category_scores_gemma":[0.00006691246,0.00002467603,0.00002927053,0.0001956143,0.00002664779,0.000162814,0.00003268887,0.00002043544,0.000004630627],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001571116,"about_ca_system_score_gemma":0.00002758716,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001971838,"about_ca_topic_score_gemma":8.589668e-7,"domain_scores_codex":[0.9995171,0.00005842332,0.0001373036,0.0001101695,0.000101622,0.00007532477],"domain_scores_gemma":[0.999288,0.00008248482,0.00008553134,0.0004577186,0.00007881072,0.000007419438],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.000003762359,0.0000228662,0.00005477239,0.000006477429,0.00000132201,9.598955e-9,0.00004758319,0.0009987146,0.02413317,0.9557402,0.001413594,0.01757751],"study_design_scores_gemma":[0.0001444216,0.00003847868,0.007902812,0.000004111492,0.000003066601,0.000001758487,0.000005286874,0.321389,0.620414,0.0453239,0.0047083,0.00006486195],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001164167,0.00001494138,0.9946701,0.0002528777,0.0002167018,0.000269746,4.037283e-7,0.00004233294,0.003368729],"genre_scores_gemma":[0.2103422,6.071815e-7,0.7891426,0.00003613868,0.00001711686,0.00002702219,3.54412e-7,0.000002119056,0.0004318166],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9104163,"threshold_uncertainty_score":0.101393,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04695310806423794,"score_gpt":0.280199802824554,"score_spread":0.2332466947603161,"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."}}