1432217
9780792373681
The first edition of this text offered a method for simplifying and unifying assertion specification by creating a set of specification modules that could be instantiated within the designer's RTL. This second edition expands this discussion.Bening, Lionel is the author of 'Principles of Verifiable Rtl Design A Functional Coding Style Supporting Verification Processes in Verilog', published 2001 under ISBN 9780792373681 and ISBN 0792373685.
[read more]