 |
Timed-Behavioral Modeling
Timed-Behavioral Modeling | System Architecting
| Model and Simulate the System’s Application |
| | 
Functional architecture example |
CoFluent Studio™ for Timed-Behavioral Modeling provides a way to bridge the gap between specifications and implementation.
It allows designers to model and simulate the behavior and time properties of electronic systems' applications and prepare efficiently for their implementation.
At this stage, designers think in terms of functions and have no preconceived ideas about hardware or software implementation.
However, functions are organized in a way that the resulting functional architecture is fully compatible with implementation-level abstractions, for all dimensions (structural, communications, behavioral).
In addition, time is an essential design factor: it’s used to organize the application or CPT (Concurrent Process-Timed) model as the highest degree of parallelism in the system’s behavior is sought.
Once a timed-behavioral model is obtained and verified, designers have the choice to continue developing their system either with their own process or with further system architecting capabilities offered by CoFluent Studio.
CoFluent Studio can be used also as graphical SystemC modeling front-end to generate automatically in transactional SystemC “application-like” test cases (e.g. intelligent traffic generator) for SoC-platform architecture models. |
|
| | | All-in-one system application modeling environment |
| - Structure, control flow, data flow and time properties all within the same model
- Describe the environment used as testbench along with the complete system application
- Integrate easily external C/C++ or SystemC code
- Export models to libraries and control import mode (black or white box) for further reuse in other projects
|
| Thorough verification of behavior and timing constraints |
| - Fully-timed model: duration of algorithms and communications
- Fast simulation based on transactional-level SystemC (message-passing)
- Automatic instrumentation, rich set of dynamic visualization/analysis tools
|
| Prepare efficiently for further architectural design and implementation |
| - Timed-behavioral model directly usable for system architecting and early performance analysis
- Functional architecture compatible with software (RTOS abstraction) and hardware implementation models
- Deliver reference use-cases and application model that can be used throughout the project’s lifecycle
- Automatic SystemC code generation
|
| Facilitate interactions between all project stakeholders |
| - Generic models based on concurrent communicating functions (or processes) representing any kind of system dynamics independently from technological considerations and physics
- Unambiguous executable specifications providing significant results for verification purpose
- High-level graphical notations and simulation results intuitive to all project stakeholders
|
|
|
