共 12 条
[1]
Chang H., 1999, SURVIVING SOC REVOLU
[2]
Gauthier L, 2001, DESIGN, AUTOMATION AND TEST IN EUROPE, CONFERENCE AND EXHIBITION 2001, PROCEEDINGS, P679, DOI 10.1109/DATE.2001.915098
[3]
GLUNZ W, 1993, P IFIP CHDL 1993, P187
[4]
*INT TEL UN, 1993, SPEC DESCR LANG SDL
[5]
Lyonnard D, 2001, DES AUT CON, P518, DOI 10.1109/DAC.2001.935563
[6]
Mixed-level cosimulation for fine gradual refinement of communication in SoC design
[J].
DESIGN, AUTOMATION AND TEST IN EUROPE, CONFERENCE AND EXHIBITION 2001, PROCEEDINGS,
2001,
:754-759
[7]
*OBJ MAN GROUP, 1998, CORBA SERV COMM OBJ
[8]
*RAT SOFTW CORP, 1997, OMG UN MOD LANG SPEC
[9]
Formal models for embedded system design
[J].
IEEE DESIGN & TEST OF COMPUTERS,
2000, 17 (02)
:14-27
[10]
A model for describing communication between aggregate objects in the specification and design of embedded systems
[J].
DESIGN, AUTOMATION AND TEST IN EUROPE, CONFERENCE AND EXHIBITION 2001, PROCEEDINGS,
2001,
:77-84