by Masahiro Fujita (Author)
Explains how to verify SoC logic designs using 'formal' and 'semi-formal' verification techniques. This book covers various aspects of high-level formal and semi-formal verification techniques for system level designs.
Format: Hardcover
Pages: 256
Edition: 1
Publisher: Morgan Kaufmann
Published: 28 Dec 2007
ISBN 10: 0123706165
ISBN 13: 9780123706164