https://scholars.lib.ntu.edu.tw/handle/123456789/325602
Title: | Solving Constraint Satisfiability Problem For Automatic Generation of Design Verification Vectors | Authors: | CHUNG-YANG HUANG | Issue Date: | Jul-2006 | URI: | http://scholars.lib.ntu.edu.tw/handle/123456789/325602 |
Appears in Collections: | 電機工程學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.