{"id":370,"date":"2026-06-24T09:37:38","date_gmt":"2026-06-24T13:37:38","guid":{"rendered":"https:\/\/carleton.ca\/share\/?p=370"},"modified":"2026-06-24T09:37:38","modified_gmt":"2026-06-24T13:37:38","slug":"uvm-4-snn-hardware-design-and-verification","status":"publish","type":"post","link":"https:\/\/carleton.ca\/share\/2026\/uvm-4-snn-hardware-design-and-verification\/","title":{"rendered":"UVM-4-SNN Hardware Design and Verification"},"content":{"rendered":"<p class=\"font-claude-response-body break-words whitespace-normal\" data-sourcepos=\"2:1-2:48;94-141\"><strong>Friday, June 26, 2026 | 10:00 AM \u2013 11:00 AM<\/strong><\/p>\n<p class=\"font-claude-response-body break-words whitespace-normal\" data-sourcepos=\"4:1-4:201;143-343\">The SHaRe Lab is pleased to host <strong>Aliza Ghani<\/strong> on the Universal Verification Methodology (UVM) and its application to Spiking Neural Network Design.<\/p>\n<p class=\"font-claude-response-body break-words whitespace-normal\" data-sourcepos=\"6:1-6:680;345-1024\">Aliza will introduce UVM (IEEE 1800.2) as a framework for verifying complex digital designs, walking through the verification challenges that motivate it, its component-based testbench architecture, and the constrained-random, coverage-driven approach that makes it the industry standard. She will then connect the methodology to neuromorphic hardware, showing how UVM maps naturally onto the layered structure of spiking neural networks (SNNs), with a worked example built around a Leaky Integrate-and-Fire (LIF) neuron testbench. The talk closes with a concrete SystemVerilog and UVM skeleton illustrating how each functional block of an SNN core can be verified independently.<\/p>\n<p class=\"font-claude-response-body break-words whitespace-normal\" data-sourcepos=\"8:1-8:212;1026-1237\">The session is open to all lab members and the wider department. Graduate and undergraduate students with an interest in VLSI verification, FPGA design, and neuromorphic hardware are warmly encouraged to attend.<\/p>\n<hr class=\"border-border-200 border-t-0.5 my-3 mx-1.5\" \/>\n<p class=\"font-claude-response-body break-words whitespace-normal\" data-sourcepos=\"12:1-12:16;1244-1259\"><strong>Speaker Bio<\/strong><\/p>\n<p class=\"font-claude-response-body break-words whitespace-normal\" data-sourcepos=\"14:1-14:249;1261-1509\">Aliza Ghani is an undergraduate Electrical Engineering student at NUST Islamabad. Her interests include hardware verification and digital design, with a focus on using UVM for functional verification, coverage analysis, and verification automation.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Friday, June 26, 2026 | 10:00 AM \u2013 11:00 AM The SHaRe Lab is pleased to host Aliza Ghani on the Universal Verification Methodology (UVM) and its application to Spiking Neural Network Design. Aliza will introduce UVM (IEEE 1800.2) as a framework for verifying complex digital designs, walking through the verification challenges that motivate it, [&hellip;]<\/p>\n","protected":false},"author":5,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_relevanssi_hide_post":"","_relevanssi_hide_content":"","_relevanssi_pin_for_all":"","_relevanssi_pin_keywords":"","_relevanssi_unpin_keywords":"","_relevanssi_related_keywords":"","_relevanssi_related_include_ids":"","_relevanssi_related_exclude_ids":"","_relevanssi_related_no_append":"","_relevanssi_related_not_related":"","_relevanssi_related_posts":"","_relevanssi_noindex_reason":"","_mi_skip_tracking":false,"_exactmetrics_sitenote_active":false,"_exactmetrics_sitenote_note":"","_exactmetrics_sitenote_category":0,"footnotes":"","_links_to":"","_links_to_target":""},"categories":[25,1],"tags":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v21.2 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>UVM-4-SNN Hardware Design and Verification - Specific-domain Hardware Research Laboratory<\/title>\n<meta name=\"description\" content=\"Friday, June 26, 2026 | 10:00 AM \u2013 11:00 AM The SHaRe Lab is pleased to host Aliza Ghani on the Universal Verification Methodology (UVM) and its\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/carleton.ca\/share\/2026\/uvm-4-snn-hardware-design-and-verification\/\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Arash Ahmadi\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/carleton.ca\/share\/2026\/uvm-4-snn-hardware-design-and-verification\/\",\"url\":\"https:\/\/carleton.ca\/share\/2026\/uvm-4-snn-hardware-design-and-verification\/\",\"name\":\"UVM-4-SNN Hardware Design and Verification - Specific-domain Hardware Research Laboratory\",\"isPartOf\":{\"@id\":\"https:\/\/carleton.ca\/share\/#website\"},\"datePublished\":\"2026-06-24T13:37:38+00:00\",\"dateModified\":\"2026-06-24T13:37:38+00:00\",\"author\":{\"@id\":\"https:\/\/carleton.ca\/share\/#\/schema\/person\/6d2b896d4b1d31635f6ffb65989690e5\"},\"description\":\"Friday, June 26, 2026 | 10:00 AM \u2013 11:00 AM The SHaRe Lab is pleased to host Aliza Ghani on the Universal Verification Methodology (UVM) and its\",\"breadcrumb\":{\"@id\":\"https:\/\/carleton.ca\/share\/2026\/uvm-4-snn-hardware-design-and-verification\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/carleton.ca\/share\/2026\/uvm-4-snn-hardware-design-and-verification\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/carleton.ca\/share\/2026\/uvm-4-snn-hardware-design-and-verification\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/carleton.ca\/share\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Events\",\"item\":\"https:\/\/carleton.ca\/share\/category\/events\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"UVM-4-SNN Hardware Design and Verification\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/carleton.ca\/share\/#website\",\"url\":\"https:\/\/carleton.ca\/share\/\",\"name\":\"Specific-domain Hardware Research Laboratory\",\"description\":\"Carleton University\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/carleton.ca\/share\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"en-US\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/carleton.ca\/share\/#\/schema\/person\/6d2b896d4b1d31635f6ffb65989690e5\",\"name\":\"Arash Ahmadi\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/carleton.ca\/share\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/9f2df67d0314f5a01f3c00e5792e93a6?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/9f2df67d0314f5a01f3c00e5792e93a6?s=96&d=mm&r=g\",\"caption\":\"Arash Ahmadi\"},\"sameAs\":[\"https:\/\/carleton.ca\/doe\/people\/arash-ahmadi\/\",\"https:\/\/www.linkedin.com\/in\/arash-ahmadi-47b82456\/\",\"https:\/\/twitter.com\/AA65258903\",\"https:\/\/www.youtube.com\/channel\/UCX1m9-mCzflGuBmw-D2_W9Q\"]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"UVM-4-SNN Hardware Design and Verification - Specific-domain Hardware Research Laboratory","description":"Friday, June 26, 2026 | 10:00 AM \u2013 11:00 AM The SHaRe Lab is pleased to host Aliza Ghani on the Universal Verification Methodology (UVM) and its","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/carleton.ca\/share\/2026\/uvm-4-snn-hardware-design-and-verification\/","twitter_misc":{"Written by":"Arash Ahmadi","Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/carleton.ca\/share\/2026\/uvm-4-snn-hardware-design-and-verification\/","url":"https:\/\/carleton.ca\/share\/2026\/uvm-4-snn-hardware-design-and-verification\/","name":"UVM-4-SNN Hardware Design and Verification - Specific-domain Hardware Research Laboratory","isPartOf":{"@id":"https:\/\/carleton.ca\/share\/#website"},"datePublished":"2026-06-24T13:37:38+00:00","dateModified":"2026-06-24T13:37:38+00:00","author":{"@id":"https:\/\/carleton.ca\/share\/#\/schema\/person\/6d2b896d4b1d31635f6ffb65989690e5"},"description":"Friday, June 26, 2026 | 10:00 AM \u2013 11:00 AM The SHaRe Lab is pleased to host Aliza Ghani on the Universal Verification Methodology (UVM) and its","breadcrumb":{"@id":"https:\/\/carleton.ca\/share\/2026\/uvm-4-snn-hardware-design-and-verification\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/carleton.ca\/share\/2026\/uvm-4-snn-hardware-design-and-verification\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/carleton.ca\/share\/2026\/uvm-4-snn-hardware-design-and-verification\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/carleton.ca\/share\/"},{"@type":"ListItem","position":2,"name":"Events","item":"https:\/\/carleton.ca\/share\/category\/events\/"},{"@type":"ListItem","position":3,"name":"UVM-4-SNN Hardware Design and Verification"}]},{"@type":"WebSite","@id":"https:\/\/carleton.ca\/share\/#website","url":"https:\/\/carleton.ca\/share\/","name":"Specific-domain Hardware Research Laboratory","description":"Carleton University","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/carleton.ca\/share\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"en-US"},{"@type":"Person","@id":"https:\/\/carleton.ca\/share\/#\/schema\/person\/6d2b896d4b1d31635f6ffb65989690e5","name":"Arash Ahmadi","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/carleton.ca\/share\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/9f2df67d0314f5a01f3c00e5792e93a6?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/9f2df67d0314f5a01f3c00e5792e93a6?s=96&d=mm&r=g","caption":"Arash Ahmadi"},"sameAs":["https:\/\/carleton.ca\/doe\/people\/arash-ahmadi\/","https:\/\/www.linkedin.com\/in\/arash-ahmadi-47b82456\/","https:\/\/twitter.com\/AA65258903","https:\/\/www.youtube.com\/channel\/UCX1m9-mCzflGuBmw-D2_W9Q"]}]}},"acf":{"Post Thumbnail Icon":"","Post Thumbnail":false},"_links":{"self":[{"href":"https:\/\/carleton.ca\/share\/wp-json\/wp\/v2\/posts\/370"}],"collection":[{"href":"https:\/\/carleton.ca\/share\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/carleton.ca\/share\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/carleton.ca\/share\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/carleton.ca\/share\/wp-json\/wp\/v2\/comments?post=370"}],"version-history":[{"count":2,"href":"https:\/\/carleton.ca\/share\/wp-json\/wp\/v2\/posts\/370\/revisions"}],"predecessor-version":[{"id":372,"href":"https:\/\/carleton.ca\/share\/wp-json\/wp\/v2\/posts\/370\/revisions\/372"}],"wp:attachment":[{"href":"https:\/\/carleton.ca\/share\/wp-json\/wp\/v2\/media?parent=370"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/carleton.ca\/share\/wp-json\/wp\/v2\/categories?post=370"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/carleton.ca\/share\/wp-json\/wp\/v2\/tags?post=370"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}