{"id":"W4404954289","doi":"10.1109/vlsi-soc62099.2024.10767822","title":"Adaptable FWHW Formal Co-Verification of SoC RISC-V Components","year":2024,"lang":"en","type":"article","venue":"","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Infineon Technologies (Canada)","funders":"","keywords":"Computer science; Formal verification; Verification; Intelligent verification; Reduced instruction set computing; System on a chip; Functional verification; Programming language; Embedded system; Instruction set; Software; Software construction; Software development","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.002379089,0.0006336687,0.0003177525,0.0008506232,0.0003827056,0.001090414,0.001139729,0.0005471203,0.001859596],"category_scores_gemma":[0.00666684,0.0005025436,0.001168515,0.0002462612,0.001316778,0.0009296967,0.001290018,0.0008685018,0.0003771152],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000953624,"about_ca_system_score_gemma":0.001864513,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002177335,"about_ca_topic_score_gemma":0.002838202,"domain_scores_codex":[0.9967103,0.00107178,0.0002001315,0.0003657324,0.001361898,0.0002902038],"domain_scores_gemma":[0.9952562,0.002274744,0.00047739,0.001225827,0.0007147245,0.0000509942],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002738754,0.0002047641,0.005179019,0.0007571034,0.0001416424,0.001226972,0.0008317768,0.559965,0.1303115,0.1328238,0.001923035,0.1663616],"study_design_scores_gemma":[0.00006246594,0.0002294913,0.00100715,0.0001348856,0.00007923538,0.000438132,0.0000844427,0.8195075,0.1290861,0.03371773,0.01560041,0.00005250552],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03907847,0.0001098933,0.9548879,0.00005828995,0.00003252996,0.0001490496,0.0001070576,0.002912814,0.002664032],"genre_scores_gemma":[0.5872001,0.0001999642,0.4081965,0.00008721995,0.00002635891,0.0003187802,0.0003795242,0.0005676163,0.003023886],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002379089,"threshold_uncertainty_score":0.012582,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0405619068613863,"score_gpt":0.2927450751284812,"score_spread":0.252183168267095,"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."}}