Statecharts: A visual formalism for complex systems
Science of Computer Programming
Statemate: a working environment for the development of complex reactive systems
ICSE '88 Proceedings of the 10th international conference on Software engineering
Specification partitioning for system design
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
System clock estimation based on clock slack minimization
EURO-DAC '92 Proceedings of the conference on European design automation
HERCULES—a system for high-level synthesis
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
Communicating sequential processes
Communications of the ACM
The VERILOG Hardware Description Language
The VERILOG Hardware Description Language
Translating system specifications to VHDL
EURO-DAC '91 Proceedings of the conference on European design automation
The role of VHDL within the TOSCA hardware/software codesign framework
EURO-DAC '94 Proceedings of the conference on European design automation
Information model of a compound graph representation for system and architecture level design
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
Mapping statechart models onto an FPGA-based ASIP architecture
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
CoWare—a design environment for heterogenous hardware/software systems
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Composite signal flow: a computational model combining events, sampled streams, and vectors
DATE '00 Proceedings of the conference on Design, automation and test in Europe
CoWare---a design environment for heterogeneous hardware/software systems
Readings in hardware/software co-design
Verifying Timing Consistency in Formal Specifications
IEEE Design & Test
VaWiRAM: a variable width random access memory module
VLSID '96 Proceedings of the 9th International Conference on VLSI Design: VLSI in Mobile Communication
A methodology for control-dominated systems codesign
CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design
UML-based specifications of an embedded system oriented to HW/SW partitioning: a case study
Languages for system specification
Hi-index | 0.00 |
The SpecCharts language, which builds on VHDL to meet the unique requirements of system-level specification and design, is described. With an underlying model of behavioral hierarchy, SpecCharts modeling constructs enable designers to capture system specifications simply and precisely. SpecCharts constructs facilitate system-level design tasks by permitting high-level communication, maintaining information, and allowing design modification at an easy-to-comprehend level. The results of system-level design tasks are reflected in a modified SpecCharts, enabling the designer to evaluate the quality of each step. A detailed example demonstrates the use of SpecCharts.