共 56 条
[1]
Abramovici M., 1990, DIGITAL SYSTEMS TEST
[2]
BEEREL PA, 1993, P TAU
[4]
Chu T., 1985, Proceedings of IEEE International Conference on Computer Design: VLSI in Computers. ICCD '85 (Cat. No.85CH2223-6), P407
[5]
CHU TA, 1987, MITLCSTR393 TECH REP
[6]
DAVIS A, 1993, 26TH P ANN HAW INT C, V1, P409
[7]
DILL DL, 1989, TRACE THEORY AUTOMAT
[9]
EBERGEN JC, 1989, CWI TRACT, V56
[10]
FANG TP, 1983, SYNTHESIS RELIABLE S, V2, P298