我々は、機能検証のために予定される理由

[ikru26]

いずれは、フォーマル検証、アサーションベースの検証は。機能verificatiopnの違いについて教えて下さい..と何のために使用するツールです。

 

[barkha]

機能検証は、アーキテクチャと機能の仕様で説明されているように、デザインが正常に動作することを確認するプロセスです。それは、製品の論理設計をターゲットとし、通常は物理的な設計プロセスが無関係であることを前提としています。アサーションベースの検証では、RTLアサーションは正しい動作をチェックする携帯型のモニターを提供すること、設計が作成される検証可能な形で設計意図をキャプチャするために使用されています。シミュレーション中に、アサーションは明らかにエラーの原因を作る、可観測性のカバレッジを改善する。シミュレーションのデバッグ時間を大幅に削減される。フォーマル検証のための標的として、アサーションは、制御性のカバレッジを改善する。よい記事のためのリンク - http://www.techonline.com/community/ed_resource/feature_article/21077 http://www.synopsys.com/products/s...ses/course_pages/past_courses/EE352/FV1.html http://www.cs.virginia.edu/〜eas9d / papers/fmics.05.pdf

 

[sp]

私TOTこの側面の2種類がある...機能検証とタイミング検証...機能検証は、単にタイミングの問題のタイミング検証は、すべてを含む検討wthout出力が期待されているかどうかをチェックすることです...正しい？に関しては、SP

 

[yjkwon57]

こんにちは。フォーマル検証は、2つの視点から見ることができます：一つは、モデル検査であり、他の等価性チェックです。モデル検査は、仕様と設計間の等価性をチェックすることです。等価性チェックは、オリジナルのデザインと変換されたデザインをチェックすることです。ここで、変換されたデザインの例は、オリジナルのデザイン、、と言うVHDLまたはVerilog HDLデザインから得られる設計、バックアノテートされたデザイン、等を、合成される。ところで、機能シミュレーションの目的は、ビューの機能性の点から、デザインのロジックをチェックしています。機能シミュレーションは、必要ないくつかのデバッグの場合の設計フローに非常に重要です。

 

[ikru26]

その機能検証、フォーマルverificationaは同じです..別の検証に使用するツールは何か。