Statecharts: A visual formalism for complex systems
Science of Computer Programming
MASCOT: a specification and cosimulation method integrating data and control flow
DATE '00 Proceedings of the conference on Design, automation and test in Europe
The role of functional prototyping in model validation
ISCNZ '96 Proceedings of the 1996 Information Systems Conference of New Zealand (ISCNZ '96)
A high-level requirements engineering methodology for electronic system-level design
Computers and Electrical Engineering
HIFsuite: tools for HDL code conversion and manipulation
EURASIP Journal on Embedded Systems
| Hi-index | 0.00 |
Developing a functional prototype of a system-on-chip provides a unifying vehicle for model validation and system refinement. Keeping the prototype executable across several abstraction levels, clock domains and design tools is a key requirement to effective prototyping. This paper presents how model-level transactors address design heterogeneity by unifying event-based and cycle-based worlds from specification to implementation. Transactors are used to build a functional prototype of a software-radio component. An executable UML model is bridged to a hardware abstraction of a radio stream developed with Simulink to implement a realistic and working prototype. Model validation and performance measurements are realized through prototype execution and real-time monitoring.