Books by Erik Seligman

Formal Verification : An Essential Toolkit for Modern VLSI Design

Erik Seligman - Paperback