首页> 外国专利> Efficient Verification Apparatus in ESL Design Methodology, and the Verification Method Using the Same

Efficient Verification Apparatus in ESL Design Methodology, and the Verification Method Using the Same

机译:ESL设计方法论中的有效验证装置以及使用该方法的验证方法

摘要

The present invention for the design of the design verification of the digital system from the extremely complex systems and relates to a systemic level designed systematic and efficient verification method and a verification device using the same to efficiently performed. ; In the present invention, to cause the verification software of the present invention which is carried out at any computer add one or more additional code or additional circuitry in the design object in the DUV naejineun DUV, and has one or more in the DUV entire naejineun DUV when necessary design object implement of original design code model or more design objects 1 in the DUV by the modeling process through an automated way or passive manner using the validation software of the present invention to the other codes high level of abstraction for the hardware-based verification platform or DUV by implementing the modeling process and the other one or more design objects in the DUV for the one or more design objects in a hardware-based platform and to perform the verification using one or more simulations. Performing simulations is more than more than one simulation is performed on one or more computers 1 simulator or 1 simulator and one or more hardware-based verification platform performed, or two or more simulators or two or more simulators running on two or more computers connected over a network by using the and it is 1 using the more hardware-based verification platform and enabling the widespread reduction in overall verification time and the verification cost by enabling also performed in parallel, able to greatly improve the efficiency of verification. ; Hardware Verification
机译:本发明用于从极其复杂的系统进行数字系统的设计验证的设计,并且涉及系统地设计的系统有效的验证方法以及使用该方法有效地进行验证的验证装置。 ;在本发明中,为使在任何计算机上执行的本发明的验证软件在DUV naejineun DUV中的设计对象中添加一个或多个附加代码或附加电路,并且在DUV整个naejineun中具有一个或多个DUV在必要时采用原始设计代码模型或DUV中的更多设计对象1的设计对象实现时,通过建模过程,通过自动化方式或被动方式使用本发明的验证软件对其他代码进行高级抽象,以实现对硬件的抽象化-通过在DUV中为基于硬件的平台中的一个或多个设计对象实施建模过程和其他一个或多个设计对象,来实现基于DVR的验证平台或DUV,并使用一个或多个仿真来执行验证。在一台或多台计算机上执行仿真不仅仅是一个或多个仿真;一台仿真器或一台仿真器,以及一个或多个基于硬件的验证平台已执行,或者两个或多个仿真器,或者两个或多个仿真器在连接到两台或更多台计算机上运行通过使用,并且通过使用更多基于硬件的验证平台,它也是1,并且还通过并行执行来实现总体验证时间和验证成本的广泛减少,从而能够大大提高验证效率。 ;硬件验证

著录项

  • 公开/公告号KR100800412B1

    专利类型

  • 公开/公告日2008-02-01

    原文格式PDF

  • 申请/专利权人

    申请/专利号KR20060098689

  • 发明设计人 양세양;

    申请日2006-10-10

  • 分类号G06F9/455;G06F9/00;G06F11/22;

  • 国家 KR

  • 入库时间 2022-08-21 19:52:37

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号