退出
我的积分:
中文文献批量获取
外文文献批量获取
姚爱红; 孙盟哲; 张智钧; 袁莉娜;
1. 哈尔滨工程大学计算机科学与技术学院 2. 北京计算机技术及应用研究所 3. 中国科学院电子学研究所;
功能验证; 断言; IP核; SVA; Compact PCI;
机译:[特邀论文]验证IP和促进IP重用的断言-验证IP和STARC的工作-
机译:基于断言的验证为IP重用铺平了道路
机译:使用功能编程抽象对运行时可重配置设计进行基于建模和断言的验证
机译:使用System Verilog的AMBA推进外围总线协议的断言和功能覆盖驱动验证
机译:通过基于断言的验证和故障注入对集成电路设计进行故障覆盖分析。
机译:使用SX-8GIP-Star®Compact上的自动ChIP协议在Diagenode上成功实施ChIP-seq抗体质量控制
机译:Studio应用了基于实数模型的验证和基于断言的混合信号验证。基于实数建模与断言的验证技术在混合信号电路设计中的研究与应用
机译:基于Ip多播的分散式软件总线
机译:基于用户程序代码的断言生成装置和方法用于断言的处理器验证的装置和方法
机译:用于基于用户程序代码生成断言的设备和方法,以及用于使用断言来验证处理器的设备和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。