books by Adam C. Krolnik

books by Adam C. Krolnik

books:

Adam C. Krolnik

Creating Assertion-Based IP (Series on Integrated Circuits and Systems)
Harry D. Foster, Adam C. Krolnik

Springer, 2007

Assertion-based IP is much more than a comprehensive set of related assertions. It is a full-fledged reusable and configurable transaction-level verification component, which is used to detect both interesting and incorrect behaviors. Upon detecting interesting or incorrect behavior, the assertion-based IP alerts other verification components ...

Assertion-Based Design (Information Technology: Transmission, Processing and Storage)

Harry D. Foster, Adam C. Krolnik, ...

Kluwer Academic, 2004

When assertion fires ...
Once again, after "Principles of Verifiable RTL Design" written with L. Bening, Harry Foster wrote the book that made new level of standards in ASIC community. Even with notice that, as a Verplex Systems guy, he evidently advertise specific Formal Verification ...