Results 1-2 of 2 (Search time: 0.014 seconds).
Issue Date | Title | Author(s) | Source | scopus | WOS | Fulltext/Archive link | |
---|---|---|---|---|---|---|---|
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 |