Formal Verification: An Essential Toolkit for Modern VLSI DesignElsevier Science(2015/7/24) | English | 9780128007273赞(0)2022-02-21工程