第 1 到 2 筆結果,共 2 筆。
公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 | |
---|---|---|---|---|---|---|---|
1 | 2006 | Solving Constraint Satisfiability Problem For Automatic Generation of Design Verification Vectors | CHUNG-YANG HUANG | ||||
2 | 2003 | Non-Assignable Signal Support During Formal Verification Of Circuit Designs | CHUNG-YANG HUANG |