A Structured Approach to Verification of Digital Hardware in Scala.

Tjark Petersen, Luca Pezzarossa, Martin Schoeberl

Browse the full DSD paper archive.