首页> 外国专利> LOGIC SIMULATION DEVICE, ACCELERATING METHOD FOR LOGIC VERIFICATION TO BE USED FOR THE SAME AND STORAGE MEDIUM RECORDING CONTROL PROGRAM THEREFOR

LOGIC SIMULATION DEVICE, ACCELERATING METHOD FOR LOGIC VERIFICATION TO BE USED FOR THE SAME AND STORAGE MEDIUM RECORDING CONTROL PROGRAM THEREFOR

机译:逻辑模拟装置,用于相同和存储介质记录控制程序的逻辑验证的加速方法

摘要

PROBLEM TO BE SOLVED: To provide an accelerating method for logic verification capable of avoiding the repetition of unwanted simulation without manually preparing a simulation vector or software again. SOLUTION: A simulation model 1 of a simulator 4 performs the simulation of software by operating a main routine. A tracer 2 traces the operation of main routine due to the simulation model 1 and when the repetition of the same routine is detected, the substitution of that routine is instructed to an agent 3. That agent 3 substitutively executes that routine and dispatches the result to the simulation model 1.
机译:要解决的问题:提供一种用于逻辑验证的加速方法,该方法能够避免重复不必要的仿真,而无需再次手动准备仿真矢量或软件。解决方案:仿真器4的仿真模型1通过操作主例程来执行软件仿真。跟踪器2跟踪由于仿真模型1而导致的主例程的操作,并且当检测到同一例程的重复时,该例程的替换将指示给代理3。代理3替代地执行该例程并将结果分发给仿真模型1。

著录项

  • 公开/公告号JP2000020346A

    专利类型

  • 公开/公告日2000-01-21

    原文格式PDF

  • 申请/专利权人 NEC CORP;

    申请/专利号JP19980185792

  • 发明设计人 HASHIMOTO KUNIHARU;

    申请日1998-07-01

  • 分类号G06F11/28;

  • 国家 JP

  • 入库时间 2022-08-22 02:01:46

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号