3 books
Security Policy in System-on-Chip Designs
Semiconductor Memories
Scalable Techniques for Formal Verification