Communicating sequential processes
Communicating sequential processes
Using VHDL for simulation of SDL specifications
EURO-DAC '92 Proceedings of the conference on European design automation
SEPIA: a cooperative hypermedia authoring environment
ECHT '92 Proceedings of the ACM conference on Hypertext
Propositional State Event Logic
JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
Integrating SDL and VHDL for System-Level Hardware Design
CHDL '93 Proceedings of the 11th IFIP WG10.2 International Conference sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC on Computer Hardware Description Languages and their Applications
Hi-index | 0.00 |
The research project MuSE provides an integrated software environment for the development of complex technical systems. MuSE supports the system engineer by its tools for the specification, simulation and validation of the system's behavior. MuSE also provides the structured archiving of all documents in a hypermedia database. This paper will focus on the specification and validation of the system's behavior, especially on the concepts and tools for Software/Hardware Co-Design and Co-Simulation in the MuSE environment.