Login / Signup
Yee-Wing Hsieh
Publication Activity (10 Years)
Years Active: 1998-2000
Publications (10 Years): 0
</>
Publications
</>
Yee-Wing Hsieh
,
Steven P. Levitan
Abstraction techniques for verification of multiple tightly coupled counters, registers and comparators.
HLDVT
(2000)
Yee-Wing Hsieh
,
Steven P. Levitan
Control / Data-Flow Analysis for VHDL Semantic Extraction.
J. Inf. Sci. Eng.
14 (3) (1998)
Yee-Wing Hsieh
,
Steven P. Levitan
Model Abstraction for Formal Verification.
DATE
(1998)