- STOCにてUCS版hecCをVer1.0と認証
- リファレンスコンパイラBSD
- シュミレータの作成
（BSD形式のフリーライセンス）
|
- 言語セマンティク明確化
- 図式表現の規定
- モデリングのガイドライン策定
- ｃｌａｓｓの継承をサポート
- ｃｌａｓｓのテンプレートをサポート
- オペレーターのオーバーローディング
機能追加
- ＨＷＳｐｅｃＣ
- ＦＳＭのイベントドリブン記述
- 固定小数点サポート
- 標準ライブラリ作成
|
- 計算モデルのフォーマルな定義
- 要求分析
- 構造化文書作成
- テストベンチ
- フォーマルベリフィケーション機能
- ＲＴＯＳ
- アナログ混在
- 機械設計と連携
- ＳｐｅｃＪａｖａ
その他
|
