title
Simulation-Based Hardware Verification with High-Level Decision Diagrams
Simuleerimisel põhinev riistvara verifitseerimine kõrgtaseme otsustusdiagrammidel
author
Jenihhin, Maksim
keywords
digital hardware
simulation-based verification
assertion checking
THLDD
coverage measurement
verifikatsioon
publisher
TUT Press
defence date
identifier
ISBN 9789985598634
ISSN 14064731
language