6114544
9780123706164
Fujita explains how to verify SoC logic designs using formal and semi-formal verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended.Fujita, Masahiro is the author of 'Verification Techniques for System-Level Design', published 2007 under ISBN 9780123706164 and ISBN 0123706165.
[read more]