by RolfDrechsler (Author), Daniel Gro ße (Author)
This text offers a quality-driven design and verification flow for digital systems. Dedicated verification techniques are integrated which target the different levels of abstraction, and each technique has a means to measure the achieved verification quality.
Format: Hardcover
Pages: 170
Edition: 1st Edition.
Publisher: Springer
Published: 23 Dec 2009
ISBN 10: 904813630X
ISBN 13: 9789048136308