Yee-Wing Hsieh

According to our database, Yee-Wing Hsieh authored at least 3 papers between 1998 and 2000.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2000

Abstraction techniques for verification of multiple tightly coupled counters, registers and comparators.

Yee-Wing Hsieh, Steven P. Levitan

Proceedings of the IEEE International High-Level Design Validation and Test Workshop 2000, 2000

1998

Control / Data-Flow Analysis for VHDL Semantic Extraction.

Yee-Wing Hsieh, Steven P. Levitan

J. Inf. Sci. Eng., 1998

Model Abstraction for Formal Verification.

Yee-Wing Hsieh, Steven P. Levitan

Proceedings of the 1998 Design, 1998