{"id":14869,"date":"2026-06-18T09:04:53","date_gmt":"2026-06-18T16:04:53","guid":{"rendered":"https:\/\/www.hmc.edu\/clinic\/2026\/advanced-system-level-verification-for-next-generation-processor-cores\/"},"modified":"2026-06-18T09:04:53","modified_gmt":"2026-06-18T16:04:53","slug":"advanced-system-level-verification-for-next-generation-processor-cores","status":"publish","type":"post","link":"https:\/\/www.hmc.edu\/clinic\/2026\/advanced-system-level-verification-for-next-generation-processor-cores\/","title":{"rendered":"Advanced System-Level Verification for Next-Generation Processor Cores"},"content":{"rendered":"<h2 class=\"project-sponsor-dept-year\"><span class=\"project-sponsor\">Breker Verification Systems<\/span> <span class=\"project-dept-year\">Engineering, 2025\u201326<\/span><\/h2>\n<div class=\"project-team\">\n<p><strong>Liaison(s):<\/strong> Adnan Hamid, Leigh Brady, Brian Barker, Arun Rajeev, Scott Biggio<br \/>\n<strong>Advisor(s):<\/strong> David Harris<br \/>\n<strong>Students(s):<\/strong> Jordan Carlin (TL-F), Marina Bellido (TL-S), Massin Ihs (S), Huanhuan Huang (S), Eoin O\u2019Connell (S), Gabe Alencar (S), Cheyenne Trujillo (F), Tian Xie (F), Connor Jones (F)<\/p>\n<\/div>\n<div class=\"project-abstract\">Breker Verification Systems is an electronic design automation company focused on RISC-V processor verification. The Clinic team has extended Breker\u2019s test suite to support three new RISC-V features: PMP, Sdtrig and External Debug. For each feature, the team developed comprehensive test plans based on the RISC-V specification and implemented C++ graph-based models to generate tests accordingly. These deliverables enhance Breker\u2019s verification suite for next-generation processor cores.<\/div>\n","protected":false},"excerpt":{"rendered":"<p>Breker Verification Systems Engineering, 2025\u201326 Liaison(s): Adnan Hamid, Leigh Brady, Brian Barker, Arun Rajeev, Scott Biggio Advisor(s): David Harris Students(s): [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[164],"tags":[760],"class_list":["post-14869","post","type-post","status-publish","format-standard","hentry","category-engineering","tag-breker-verification-systems"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.hmc.edu\/clinic\/wp-json\/wp\/v2\/posts\/14869","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.hmc.edu\/clinic\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.hmc.edu\/clinic\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.hmc.edu\/clinic\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.hmc.edu\/clinic\/wp-json\/wp\/v2\/comments?post=14869"}],"version-history":[{"count":1,"href":"https:\/\/www.hmc.edu\/clinic\/wp-json\/wp\/v2\/posts\/14869\/revisions"}],"predecessor-version":[{"id":14912,"href":"https:\/\/www.hmc.edu\/clinic\/wp-json\/wp\/v2\/posts\/14869\/revisions\/14912"}],"wp:attachment":[{"href":"https:\/\/www.hmc.edu\/clinic\/wp-json\/wp\/v2\/media?parent=14869"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.hmc.edu\/clinic\/wp-json\/wp\/v2\/categories?post=14869"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.hmc.edu\/clinic\/wp-json\/wp\/v2\/tags?post=14869"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}