Introduction to Formal Hardware Verification

by Thomas Kropf

Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. This advanced textbook presents an almost complete overview of techniques for hardware verificati…