A Structured Approach to Verification of Digital Hardware in Scala

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Abstract

Functional verification accounts for a significant portion of the design effort in modern digital hardware development. As projects grow in complexity, maintaining and extending verification code becomes increasingly difficult, particularly in collaborative environments. This calls for a methodology that defines a clear structure and promotes reuse through modular, composable testbench components. In this paper, we present a Scala-based verification framework that adopts a structured approach to building modular and reusable testbenches, inspired by the Universal Verification Methodology (UVM). We analyze the core mechanisms through which UVM achieves modularity and reusability, and identify a minimal subset that provides equivalent functionality with reduced complexity. The result is a lightweight verification framework in Scala 3 using Verilator as a backend, which allows for simple unit-test-style testing as well as complex UVM-style testbench environments.
Original languageEnglish
Title of host publicationProceedings of the 2025 28th Euromicro Conference on Digital System Design (DSD)
PublisherIEEE
Publication date2025
Pages8-15
ISBN (Print)979-8-3315-8500-6
ISBN (Electronic)979-8-3315-8499-3
DOIs
Publication statusPublished - 2025
Event2025 28th Euromicro Conference on Digital System Design (DSD) - Salerno, Italy
Duration: 10 Sept 202512 Sept 2025

Conference

Conference2025 28th Euromicro Conference on Digital System Design (DSD)
Country/TerritoryItaly
CitySalerno
Period10/09/202512/09/2025

Keywords

  • Functional Verification
  • UVM
  • Chisel
  • Scala

Fingerprint

Dive into the research topics of 'A Structured Approach to Verification of Digital Hardware in Scala'. Together they form a unique fingerprint.

Cite this