Tjark Petersen, Luca Pezzarossa, Martin Schoeberl. A Structured Approach to Verification of Digital Hardware in Scala. In 28th Euromicro Conference on Digital System Design, DSD 2025, Salerno, Italy, September 10-12, 2025. pages 8-15, IEEE, 2025. [doi]
Abstract is missing.