共 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