共 50 条
[24]
Efficient verification of hazard-freedom in gate-level timed asynchronous circuits
[J].
ICCAD-2003: IEEE/ACM DIGEST OF TECHNICAL PAPERS,
2003,
:424-431
[26]
ASYNCHRONOUS AUTOMATA SYNTHESIS IN THE FORM OF 2-LEVEL HAZARD-FREE CIRCUITS
[J].
AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA,
1983, (05)
:54-62
[28]
STATIC HAZARD DETECTION AND ELIMINATION IN MULTILEVEL MULTI-VALUED COMBINATIONAL-CIRCUITS
[J].
JOURNAL OF ENGINEERING SCIENCES,
1982, 8 (01)
:47-55
[29]
A hazard-free majority voter for TMR-based fault tolerance in asynchronous circuits
[J].
IDT 2007: SECOND INTERNATIONAL DESIGN AND TEST WORKSHOP, PROCEEDINGS,
2007,
:93-+