pealkiri
Simulation-Based Hardware Verification with High-Level Decision Diagrams
Simuleerimisel põhinev riistvara verifitseerimine kõrgtaseme otsustusdiagrammidel
autor
Jenihhin, Maksim
märksõnad
digital hardware
simulation-based verification
assertion checking
THLDD
coverage measurement
verifikatsioon
väljaandja
TUT Press
kaitsmiskuupäev
identifikaator
ISBN 9789985598634
ISSN 14064731
keel