3 つの正式な検証ツールを比較するために考慮すべき要素は何ですか? 例: Jaspergold、Onespin、Incisive。
私のちょっとした調査によると、Jaspergold が一番です。しかし、私はプロジェクトで自分でやりたいです。
1. サポートされている言語 (vhdl、sv、verilog、sva、psl など) 2. GUI 3. 機能 (どれだけ大きなデザインを処理できるか) 4. 評価サイクルの数 5. パフォーマンス (証明や反例を見つける速度）
このリストを拡張できる他の機能は何ですか?
ありがとう！