4003010
9780387261430
The authors provide a complete view of the existing specification languages for programmable architectures. The text includes studies/statistics on both verification complexity and design failures.Mishra, Prabhat is the author of 'Functional Verification of Programmable Embedded Architectures A Top-down Approach', published 2005 under ISBN 9780387261430 and ISBN 0387261435.
[read more]