・ STOC authorizes SpecC from UCI as version 1.0
・ Reference Compiler and Reference Simulator are made freely available
under BSD license |
・Formal Lanfuage Semantics
・Graphical representation
・Modeling Guidelines
・Class Inheritance
・Class Templates
・Operetor owerbacding
・HW-SpecC
・Event-driven FSM
・Fixed-point Date Type
・Standard Libraries
|
・Models of Computation
・Requirernents capture
・XML format
・Testability
・Formal Verification
・RTOS abstraction
・Analog/Mixed Signals
・Mechanics
・SpecJava
・... |
