Results 1-4 of 4 (Search time: 0.002 seconds).
NO | Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date) |
---|---|
Proportional-Integral Plus Bang-Bang Control of DC Servo Motors with PWM Drives Bien, Zeung nam; Seung-Ho Hwang, World Congress International Federation of Automatic Control, pp.282 - 286, 1984 | |
An Efficient Design Correctness Checker of Finite-State Machines Seung-Ho Hwang, Proceedings of IEEE International Conference on Computer-Aided Design, pp.410 - 413, 1987 | |
An Accurate Delay Modeling Technique for Switch - level Timing Verification Seung-Ho Hwang, ACM/IEEE Design Automation Conference, pp.227 - 233, 1986 | |
BEAVER: A Behavioral Formal Verifier of VLSI Design Seung-Ho Hwang, IFIP International Workshop on Applied Formal Methods for Correct VLSI Design, 1989 |
Discover