在验证环境中控制激励的方法和装置

    公开(公告)号:CN103777951A

    公开(公告)日:2014-05-07

    申请号:CN201410032411.9

    申请日:2014-01-23

    Inventor: 冯秀丽 李强

    Abstract: 本发明涉及一种在验证环境中控制激励的方法和装置。所述方法包括:生成脚本文件;运行所述脚本文件,根据激励控制参数名称对预先建立的第一文本文件中与所述激励控制参数名称对应的激励控制参数值进行修改,输出第二文本文件,所述第二文本文件中包括修改后的激励控制参数值;采用硬件描述语言读入所述第二文本文件,利用所述修改后的激励控制参数值对激励进行控制。本发明可以实现不需要重新编译链接即可以改变激励,缩短验证周期。

    对集成电路中的数字电路模块进行验证的方法和系统

    公开(公告)号:CN103714219A

    公开(公告)日:2014-04-09

    申请号:CN201410004970.9

    申请日:2014-01-06

    Inventor: 冯秀丽 陈世柱

    Abstract: 本发明涉及一种对集成电路中的数字电路模块进行验证的方法和系统。所述方法包括:将为与所述数字电路模块在同一条数据通路中的其他模块的验证测试用例进行编译,得到机器码;对所述数字电路模块进行仿真,将所述机器码采用仿真的数字电路模块进行处理,将处理后的机器码保存到存储器中;所述集成电路的中央处理单元经由所述数据通路从所述存储器中读取所述机器码并执行。本发明可以对数字电路模块进行验证,并且不需要专门为该模块建立专门的验证测试用例,省时省力,缩短开发周期。

Patent Agency Ranking