第 1 到 3 筆結果,共 3 筆。
公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 | |
---|---|---|---|---|---|---|---|
1 | 2000 | Static property checking using ATPG vs. BDD techniques. | Huang, Chung-Yang; Yang, Bwolen; Tsai, Huan-Chih; Cheng, Kwang-Ting; CHUNG-YANG HUANG | Proceedings IEEE International Test Conference 2000, Atlantic City, NJ, USA, October 2000 | |||
2 | 2000 | Assertion checking by combined word-level ATPG and modular arithmetic constraint-solving techniques. | Huang, Chung-Yang; Cheng, Kwang-Ting; CHUNG-YANG HUANG | Proceedings of the 37th Conference on Design Automation, Los Angeles, CA, USA, June 5-9, 2000. | |||
3 | 1998 | LIBRA - a library-independent framework for post-layout performance optimization. | Huang, Chung-Yang; Wang, Yucheng; Cheng, Kwang-Ting; CHUNG-YANG HUANG | Proceedings of the 1998 International Symposium on Physical Design, ISPD 1998, Monterey, CA, USA, April 6-8, 1998 |