Showing results 1 to 2 of 2
Multiple Behavior Module Synthesis Based on Selective Groupings Yi, JH; Choi, H; Park, In-Cheol; Hwang, SH; Kyung, Chong-Min, IEEE/ACM Design, Automation and Test in Europe(DATE) Conference and Exhibition, pp.384 - 388, IEEE, 1998-02 |
Symbolic reachability analysis for multiple-clock system design Yi, JH; Kyung, Chong-Min, JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, v.14, pp.533 - 551, 2005-06 |
Discover