4 books • 4 series
Creating Assertion-Based IP. Series on Integrated Circuits and Systems.
Creating Assertion-Based IP (Integrated Circuits and Systems) (Series on Integrated Circuits and Systems) (Lecture Notes in Computer Science, #59)
Applied Formal Verification
Assertion-Based Design (Information Technology: Transmission, Processing and Storage)