首页> 外国专利> METHOD FOR CREATING A SIMULATION ENVIRONMENT FOR ENHANCED LOGIC VERIFICATION OF A BRANCH HISTORY TABLE

METHOD FOR CREATING A SIMULATION ENVIRONMENT FOR ENHANCED LOGIC VERIFICATION OF A BRANCH HISTORY TABLE

机译:创建分支历史表的增强逻辑验证的模拟环境的方法

摘要

PURPOSE: A method is provided for generating simulation environment for improved logic verification of branch history table by providing a step for coupling a test instruction stream for logic from the logic to a shadow array as a result for supplying test signal output to be checked. CONSTITUTION: By activating a unit simulation instruction generator, the first test instruction stream is provided for the logic of an instruction processing unit to be tested as a data stream which, simulates an instruction stream but does not contain a specified instruction. Then, the test instruction stream for the logic is coupled from the logic to the shadow array as a result for supplying the signal output to be checked. In such a simulation environment, a behavioral (4) and a shadow array (3) link a random instruction stream generator (1) and a BHT array loader (2) with the other verification method.
机译:目的:提供一种用于生成仿真环境的方法,该方法通过提供以下步骤来生成分支历史表的逻辑验证,该步骤用于将逻辑的测试指令流从逻辑耦合到影子阵列,从而提供要检查的测试信号输出。组成:通过激活单元仿真指令生成器,为要测试的指令处理单元的逻辑提供了第一测试指令流,作为数据流,该数据流模拟指令流但不包含指定指令。然后,用于逻辑的测试指令流从逻辑耦合到影子阵列,作为用于提供要检查的信号输出的结果。在这种模拟环境中,行为(4)和影子阵列(3)将随机指令流生成器(1)和BHT阵列加载器(2)与另一种验证方法链接在一起。

著录项

  • 公开/公告号KR20010007015A

    专利类型

  • 公开/公告日2001-01-26

    原文格式PDF

  • 申请/专利权人 INTERNATIONAL BUSINESS MACHINES CORPORATION;

    申请/专利号KR20000021586

  • 发明设计人 BRUCE WILE;

    申请日2000-04-24

  • 分类号G06F9/455;

  • 国家 KR

  • 入库时间 2022-08-22 01:14:15

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号