Yee-Wing Hsieh

Model abstraction for formal verification

Steven P. Levitan, Yee-Wing Hsieh, S. Levitan, 1998, Proceedings Design, Automation and Test in Europe.

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

Steven P. Levitan, Yee-Wing Hsieh, S. Levitan, 2000, Proceedings IEEE International High-Level Design Validation and Test Workshop (Cat. No.PR00786).

NFSM Generation for Semantics Based Model Abstraction

Steven P. Levitan, Yee-Wing Hsieh, S. Levitan, 1999 .

Control / Data-Flow Analysis for VHDL Semantic Extraction

Steven P. Levitan, Yee-Wing Hsieh, S. Levitan, 1998, J. Inf. Sci. Eng..

Architectural Synthesis via VHDL

Yee-Wing Hsieh, Steven P. Levitan, Alan R. Martello, 1991 .