| 1994 |
|---|
| 5 | EE | Shiang-Tang Huang,
Tai-Ming Parng,
Jyuo-Min Shyu:
Timed Boolean calculus and its applications in timing analysis.
IEEE Trans. on CAD of Integrated Circuits and Systems 13(3): 318-337 (1994) |
| 1993 |
|---|
| 4 | EE | Shiang-Tang Huang,
Tai-Ming Parng,
Jyuo-Min Shyu:
A Polynomial-Time Heuristic Approach to Approximate a Solution to the False Path Problem.
DAC 1993: 118-122 |
| 3 | | Pinhong Chen,
Jyuo-Min Shyu,
Liang-Gee Chen:
Hardware Verification Using Symbolic State Transition Graphs.
ICCD 1993: 54-57 |
| 1991 |
|---|
| 2 | | Chun-Jung Chen,
Jyuo-Min Shyu,
Wu-Shiung Feng:
Transient Sensitivity Computation for Waveform Relaxation Based Timing Simulation.
ICCAD 1991: 120-123 |
| 1 | | Shiang-Tang Huang,
Tai-Ming Parng,
Jyuo-Min Shyu:
A New Approach to Solving False Path Problem in Timing Analysis.
ICCAD 1991: 216-219 |
