https://scholars.lib.ntu.edu.tw/handle/123456789/359603
Title: | Hardware Equivalence and Property Verification | Authors: | Jie-Hong R. Jiang Tiziano Villa JIE-HONG JIANG |
Issue Date: | May-2010 | Start page/Pages: | 599-674 | URI: | http://scholars.lib.ntu.edu.tw/handle/123456789/359603 |
Appears in Collections: | 電子工程學研究所 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.