Guide to TannerEDA for VLSI
Kluwer Academic - System-On-A-Chip Verification - Methodology and Techniques