Page History
...
Whats new in KIELER SCCharts 1.1?
- Command-line compiler for the KIELER compiler
- Object Orientation (see Object Orientation)
- Class and struct Types
- SCCharts class modeling
- Methods
- For/While loops
- Lustre Support
- Transformation to SCCharts
- Integration of Lustre V6 compiler
- Simulation
- Synthesis using SCCharts transformation
- Validation for SCCharts
- Transformation into validation backends
- SMV
- nuXMV
- SPIN
- A validation view to interactively validate models and simulation counter examples
- Transformation into validation backends
- SCCharts Extensions
- Added weak entry & exit actions
- Reworked deferred transformation
- Analyses & Visualization
- Re-engineered Dataflow synthesis
- Circuit Diagrams and Syntheses
- Causal Dataflow View
- Compiler Extensions
- Direct Lego NXT support for KiCo
- C AST Generation via GCC
- Improved hostcode integration
- Improved timed SCCharts (see Timed Automata)
- SCCharts Java Debugging (experimental)
- Stream-lined direct State-based compilation for actions
- Added Netlist-based code optimization for _GO
- Improved compile-time evaluation of constant expressions
- Fixed minor bugs in associativity of KExpressions
- Dropped support for 32bit RCA
...
Overview
Content Tools