{"id":9804,"date":"2025-11-02T12:41:08","date_gmt":"2025-11-02T12:41:08","guid":{"rendered":"https:\/\/mcsoc-forum.org\/site\/?page_id=9804"},"modified":"2026-01-29T07:58:57","modified_gmt":"2026-01-29T07:58:57","slug":"track-formal-verification","status":"publish","type":"page","link":"https:\/\/mcsoc-forum.org\/site\/index.php\/track-formal-verification\/","title":{"rendered":"Formal Verification and Benchmarking of Multicore SoC Platforms"},"content":{"rendered":"\n<div class=\"wp-block-group has-border-color has-medium-gray-border-color has-white-background-color has-background\" style=\"border-width:1px;border-radius:12px;padding-top:30px;padding-right:30px;padding-bottom:30px;padding-left:30px\">\n\n<h2 class=\"wp-block-heading has-text-color\" style=\"color:#00629b;text-transform:uppercase;letter-spacing:1px\">Track Chair<\/h2>\n<hr class=\"wp-block-separator has-text-color has-black-color has-alpha-channel-opacity has-black-background-color has-background is-style-wide\"\/>\n<div class=\"wp-block-media-text is-stacked-on-mobile\" style=\"margin-top:20px;margin-bottom:20px;grid-template-columns:15% auto\"><figure class=\"wp-block-media-text__media\"><img loading=\"lazy\" decoding=\"async\" width=\"150\" height=\"150\" src=\"http:\/\/mcsoc-forum.org\/site\/wp-content\/uploads\/2022\/01\/scholar-e1643363446774.jpg\" alt=\"TBC\" class=\"wp-image-176 size-full\"\/><\/figure><div class=\"wp-block-media-text__content\"><p class=\"has-large-font-size\"><strong>TBC<\/strong><\/p>\n<\/div><\/div>\n<\/div>\n\n\n\n<p>This track focuses on rigorous methodologies for ensuring correctness, reliability, and performance in multicore system-on-chip (SoC) platforms. As SoCs grow increasingly complex\u2014with heterogeneous cores, AI accelerators, and energy-aware components\u2014formal verification and benchmarking become essential tools for validating functionality and comparing architectural choices.  We invite contributions that advance the theory, tools, and practical deployment of formal methods and benchmarking frameworks for embedded and high-performance multicore SoCs.<\/p>\n\n\n\n<h3 class=\"wp-block-heading\"><strong>Topics of Interest Include:<\/strong><\/h3>\n\n\n\n<ul class=\"wp-block-list\">\n<li><strong> Formal verification techniques:<\/strong>\n<ul class=\"wp-block-list\">\n<li>Model checking, theorem proving, and equivalence checking<\/li>\n\n\n\n<li>Runtime verification and assertion-based validation<\/li>\n\n\n\n<li>Formal specification languages and property synthesis<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li><strong> Benchmarking methodologies:<\/strong>\n<ul class=\"wp-block-list\">\n<li>Performance evaluation frameworks and metrics<\/li>\n\n\n\n<li>Comparative analysis of verification tools and platforms<\/li>\n\n\n\n<li>Workload characterization and synthetic benchmarks<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li><strong>Emerging challenges:<\/strong>\n<ul class=\"wp-block-list\">\n<li>Verification of heterogeneous and AI-integrated SoCs<\/li>\n\n\n\n<li>Energy-efficient and real-time systems<\/li>\n\n\n\n<li>Scalable verification for manycore architectures<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li><strong> Toolchains and automation:<\/strong>\n<ul class=\"wp-block-list\">\n<li>Integration of formal tools into design flows<\/li>\n\n\n\n<li>Open-source and commercial benchmarking suites<\/li>\n\n\n\n<li>Hardware\/software co-verification environments<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n\n\n\n<p>This track aims to bridge the gap between theoretical rigor and practical deployment, fostering collaboration across academia, industry, and standards communities.<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Track Chair TBC This track focuses on rigorous methodologies for ensuring correctness, reliability, and performance in multicore system-on-chip (SoC) platforms. As SoCs grow increasingly complex\u2014with heterogeneous cores, AI accelerators, and energy-aware components\u2014formal verification and benchmarking become essential tools for validating functionality and comparing architectural choices. We invite contributions that advance the theory, tools, and practical &hellip; <\/p>\n<p><a class=\"more-link btn\" href=\"https:\/\/mcsoc-forum.org\/site\/index.php\/track-formal-verification\/\">Continue reading<\/a><\/p>\n","protected":false},"author":5,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-9804","page","type-page","status-publish","hentry","nodate","item-wrap"],"_links":{"self":[{"href":"https:\/\/mcsoc-forum.org\/site\/index.php\/wp-json\/wp\/v2\/pages\/9804","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/mcsoc-forum.org\/site\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/mcsoc-forum.org\/site\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/mcsoc-forum.org\/site\/index.php\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/mcsoc-forum.org\/site\/index.php\/wp-json\/wp\/v2\/comments?post=9804"}],"version-history":[{"count":6,"href":"https:\/\/mcsoc-forum.org\/site\/index.php\/wp-json\/wp\/v2\/pages\/9804\/revisions"}],"predecessor-version":[{"id":11077,"href":"https:\/\/mcsoc-forum.org\/site\/index.php\/wp-json\/wp\/v2\/pages\/9804\/revisions\/11077"}],"wp:attachment":[{"href":"https:\/\/mcsoc-forum.org\/site\/index.php\/wp-json\/wp\/v2\/media?parent=9804"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}