电子科技
電子科技
전자과기
IT AGE
2008年
8期
4-6,11
,共4页
形式化验证%视觉识别系统%乘法器
形式化驗證%視覺識彆繫統%乘法器
형식화험증%시각식별계통%승법기
文中给出了形式化验证的基本理论,介绍了VIS综合系统的验证技术和验证流程.以乘法器为实例对组合电路的正确性进行了验证,并与传统仿真结果进行比较,利用自动化验证工具对系统模型的相关属性进行检测和验证.
文中給齣瞭形式化驗證的基本理論,介紹瞭VIS綜閤繫統的驗證技術和驗證流程.以乘法器為實例對組閤電路的正確性進行瞭驗證,併與傳統倣真結果進行比較,利用自動化驗證工具對繫統模型的相關屬性進行檢測和驗證.
문중급출료형식화험증적기본이론,개소료VIS종합계통적험증기술화험증류정.이승법기위실례대조합전로적정학성진행료험증,병여전통방진결과진행비교,이용자동화험증공구대계통모형적상관속성진행검측화험증.
