{"id":"W1568724472","doi":"","title":"A formal verification framework for Bluespec System Verilog","year":2013,"lang":"en","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Systems Modeling Language; Computer science; Correctness; Activity diagram; Programming language; Formal equivalence checking; Formal verification; Verilog; Unified Modeling Language; Hardware description language; Probabilistic logic; Formal methods; Theoretical computer science; Embedded system; Field-programmable gate array; Software; Artificial intelligence","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.005015735,0.0002302272,0.0002421477,0.0001606517,0.0005363955,0.000644827,0.001947576,0.0001985738,0.00004045697],"category_scores_gemma":[0.001920184,0.000239304,0.0001445309,0.0006362015,0.0001317957,0.001437634,0.000381386,0.000241868,0.0002366736],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001760669,"about_ca_system_score_gemma":0.0001156204,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001905611,"about_ca_topic_score_gemma":0.00002198136,"domain_scores_codex":[0.9960003,0.001960605,0.0005329211,0.0006412333,0.0003731729,0.0004918064],"domain_scores_gemma":[0.9937259,0.001306546,0.0004221018,0.002406036,0.001953007,0.0001863894],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000004387794,0.000092484,0.00009336562,0.00005492469,0.00001295608,2.414039e-7,0.002432077,0.000008194525,0.001914026,0.9151442,0.0003285822,0.07991454],"study_design_scores_gemma":[0.001062847,0.000004096945,0.01204415,0.001064685,0.00003241909,0.00004016495,0.0005978253,0.7174378,0.1811435,0.05895235,0.02669888,0.0009212818],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01345444,0.0001486674,0.9660711,0.003292165,0.0003843906,0.0008420055,0.000008816831,0.0005945767,0.01520379],"genre_scores_gemma":[0.357024,0.0000199082,0.6417537,0.00008263464,0.00002580391,0.0003334513,0.00003112853,0.0000200956,0.0007092892],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8561919,"threshold_uncertainty_score":0.9758536,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01789563312264643,"score_gpt":0.2477536717900701,"score_spread":0.2298580386674237,"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."}}