共 35 条
[21]
*O S IN OSCI, SYSTEMC VERS 2 0 US
[23]
Formal verification of commercial integrated circuits
[J].
IEEE DESIGN & TEST OF COMPUTERS,
2001, 18 (04)
:4-5
[24]
Rajsuman R., 2000, ART H SIG PROC LIB
[25]
RIESGO T, 1995, IEEE T IND ELECTRON, V46, P3
[26]
Core design and system-on-a-chip integration
[J].
IEEE DESIGN & TEST OF COMPUTERS,
1997, 14 (04)
:26-35
[28]
*S CORP, 2002, WISHB SYST ON CHIP S
[29]
SANCHEZ L, 1997, HARDWARE SOFTWARE CO