ソフトウェア・メニュー
BooleDozer（シンセシス） RuleBase（モデル・チェッキング） BoolesEye（イクイバレント・チェッカー） EinsTimer（スタティック・タインミング・アナリシス）
