|
| Dong-Ik LEE
| |
|
|
Synthesis for Testability of Synchronous Sequential Circuits with Strong-Connectivity Using Undefined States on State Transition Graph
Soo-Hyun KIM Ho-Yong CHOI Kiseon KIM Dong-Ik LEE | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2004/12/01
Vol. E87-A
No. 12
pp. 3216-3223
Type of Manuscript:
Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)
Category: Test
Keyword:
synthesis for testability, undefined states, redundant faults, | | | Summary | Full Text:PDF | |
| |
|
| |
|
|
High-Level Test Generation for Asynchronous Circuits from Signal Transition Graph
Eunjung OH Soo-Hyun KIM Dong-Ik LEE Ho-Yong CHOI | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2002/12/01
Vol. E85-A
No. 12
pp. 2674-2683
Type of Manuscript:
Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)
Category: Test Generation
Keyword:
asynchronous circuits, ATPG, STG, | | | Summary | Full Text:PDF | |
| |
|
| |
|
| |
|
|
Test Generation for SI Asynchronous Circuits with Undetectable Faults from Signal Transition Graph Specification
Eunjung OH Jeong-Gun LEE Dong-Ik LEE Ho-Yong CHOI | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2001/06/01
Vol. E84-A
No. 6
pp. 1506-1514
Type of Manuscript:
Special Section PAPER (Special Section on Papers Selected from 2000 International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2000))
Category:
Keyword:
ATPG, SI asynchronous circuits, signal transition graph, testing, | | | Summary | Full Text:PDF | |
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
Reachability Theorem for a Class of Live and Safe Free Choice Nets
Dong-Ik LEE Sadatoshi KUMAGAI Shinzo KODAMA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1991/10/25
Vol. E74-A
No. 10
pp. 3133-3143
Type of Manuscript:
Special Section PAPER (Special Issue on Petri Nets and Discrete Event Systems)
Category:
Keyword:
| | | Summary | Full Text:PDF | |
|
Complete Structural Characterization of State Machine Allocatable Nets
Dong-Ik LEE Sadatoshi KUMAGAI Shinzo KODAMA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1991/10/25
Vol. E74-A
No. 10
pp. 3115-3123
Type of Manuscript:
Special Section PAPER (Special Issue on Petri Nets and Discrete Event Systems)
Category:
Keyword:
| | | Summary | Full Text:PDF | |
|
|