首页> 外文期刊>Pomiary Automatyka Kontrola >Metody walidacji i weryfikacji specyfikacji funkcjonalnej mikrosystemu cyfrowego
【24h】

Metody walidacji i weryfikacji specyfikacji funkcjonalnej mikrosystemu cyfrowego

机译:验证和验证数字微系统功能规范的方法

获取原文
获取原文并翻译 | 示例

摘要

The design process of the today digital systems, especially integrated hardware-software digital microsystems for SOPC platform, can not be finalized successfully without the verification and debug process. To meet the product requirements, like: system functionality, system stability, time-to-market, project costs, etc; there has to be performed several validation and/or verification tasks to confirm the finale model behaviour with initial/input functional specification. This paper describes validation and verification methods as well as software/tools elaborated and developed at University of Zielona Gora, by the Computing and Engineering Department.%Proces projektowy systemów cyfrowych, a w szczególności zintegrowanych sprzętowo-programowych mikrosystemów cyfrowych realizowanych z wykorzystaniem platformy SOPC, nie może być zakończony pomyślnie bez przeprowadzenia sprawdzenia i korekcji ewentualnych błędów projektowych. Do tego celu stosuje się metody walidacji zapisu specyfikacji funkcjonalnej zachowania systemu oraz metody weryfikacji funkcjonalnej projektowanego modelu. W artykule scharakteryzowano oraz omówiono opracowane na Uniwersytecie Zielonogórskim metody i oprogramowanie do walidacji i weryfikacji funkcjonalnej specyfikacji funkcjonalnej modelu opisanej sieciami Petriego.
机译:没有验证和调试过程,就无法成功完成当今数字系统的设计过程,尤其是用于SOPC平台的集成软硬件数字微系统。满足产品要求,例如:系统功能,系统稳定性,上市时间,项目成本等;必须执行一些验证和/或验证任务,以使用初始/输入功能规范来确认结局模型行为。本文介绍了计算和工程系在Zielona Gora大学开发和开发的验证和验证方法以及软件/工具。%数字系统的设计过程,特别是使用SOPC平台实现的集成硬件和软件数字微系统,并非它可以成功完成,而无需检查和纠正任何设计错误。为此,使用了验证系统行为功能说明记录的方法和所设计模型的功能验证方法。本文描述和讨论了ZielonaGóra大学开发的用于验证和验证Petri网中描述的模型的功能规范的方法和软件。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号