标签：Very large scale integration

Formal Verification:An Essential Toolkit for Modern VLSI Design by: Seligman, Erik; Schubert, Tom; Kumar, M V Achutha Ki...