DAC '96 Proceedings of the 33rd annual Design Automation Conference
Hardware/software partitioning of VHDL system specifications
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
VHDL generation from SDL specifications
CHDL'97 Proceedings of the IFIP TC10 WG10.5 international conference on Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems: specification, modelling, verification and synthesis of microelectronic systems
Java as a specification language for hardware-software systems
ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
Design and specification of embedded systems in Java using successive, formal refinement
DAC '98 Proceedings of the 35th annual Design Automation Conference
The Synchronous Approach to Designing Reactive Systems
Formal Methods in System Design - Special issue: industrial critical systems
Modeling reactive systems in Java
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Multilanguage design of heterogeneous systems
CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
System Specification with the SpecCharts Language
IEEE Design & Test
System-on-a-Chip Cosimulation and Compilation
IEEE Design & Test
Hardware, Software and Mechanical Cosimulation for Automotive Applications
RSP '98 Proceedings of the Ninth IEEE International Workshop on Rapid System Prototyping
VLSID '98 Proceedings of the Eleventh International Conference on VLSI Design: VLSI for Signal Processing
A framework for comparing models of computation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Modeling of mixed control and dataflow system in MASCOT
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Modeling Embedded Systems: From SystemC and Esterel to DFCharts
IEEE Design & Test
Hi-index | 0.00 |