公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2001 | A Compiled-Code Simulation Technique for RTL Designs | Y. J. Yeh; K. H Chang; M. T. Chen,; S. Y. Kuo; SY-YEN KUO | 12th VLSI Design/CAD Symposium | |||
2003 | A PCI-X Verification Environment Using C and Verilog | K. H. Chang; Y. C. Su; W. T. Tu; Y. J. Yeh; S. Y. Kuo; SY-YEN KUO | 14th VLSI Design/CAD Symposium | |||
2003 | A Tag-Augmented Temporal Logic Checker | K. H. Chang; W. T. Tu; Y. J. Yeh; S. Y. Kuo; SY-YEN KUO | 14th VLSI Design/CAD Symposium | |||
2004 | A Temporal Assertion Extension to Verilog | K. H. Chang; W. T. Tu; Y. J. Yeh; S. Y. Kuo; SY-YEN KUO | 2nd International Symposium on Automated Technology for Verification and Analysis(ATVA04) | 1 | 0 | |
2001 | An Optimization-Based Low-Power Voltage Scaling Techniques Using Multiple Supply Voltages | Y. J. Yeh; S. Y. Kuo; SY-YEN KUO | 2001 International Symposium on Circuits and Systems(ISCAS-2001) | 14 | 0 | |
2002 | An Optimization-based Multiple-Voltage Scaling Technique for Low Power CMOS Digital Design | Y. J. Yeh; S. Y. Kuo; SY-YEN KUO | Journal of Circuits, Systems and Computers | 5 | 4 | |
2005 | Automatic Partitioner for Behavior Level Distributed Logic Simulation | K. H. Chang; J. Y. Kang; H. W. Wang; W. T. Tu; Y. J. Yeh; S. Y. Kuo; SY-YEN KUO | 25th IFIP WG 6.1 International Conference (FORTE 2005) | 1 | 0 | |
2004 | Automatic Partitioner for Distributed Parallel Logic Simulation | K. H. Chang; H. W. Wang; Y. J. Yeh; S. Y. Kuo; SY-YEN KUO | 15th VLSI Design/CAD Symposium | 4 | ||
2003 | Automatic Partitioner for Distributed Simulation | K. H. Chang; W. T. Tu; Y. J. Yeh; S. Y. Kuo; SY-YEN KUO | 14th VLSI Design/CAD Symposium | |||
2004 | System Level Assertion-Based Verification Environment for PCI/PCI-X and PCI-Express | C. C; Yu; K. H. Chang; Y. J. Yeh; S. Y. Kuo; SY-YEN KUO | 15th VLSI Design/CAD Symposium | 5 | 0 | |
2004 | Techniques to Reduce Synchronization in Distributed Parallel Logic Simulation | K. H. Chang; W. T. Tu; H. W. Wang; Y. J. Yeh; S. Y. Kuo; SY-YEN KUO | 16th IASTED International Conference on Parallel and Distributed Computing and Systems(PDCS'04) |