Verification of Approximate Hardware Designs with ChiselVerify.

Hans Jakob Damsgaard Aleksandr Ometov Jari Nurmi

Published in: NorCAS (2023)

Keyphrases

hardware designs
model based diagnosis
artificial intelligence
information retrieval
learning algorithm
website
general purpose
graphical models
fine grained