Formal Verification. An Essential Toolkit for Modern VLSI Design, Paperback/M V Achutha Kiran Kumar