退出
我的积分:
中文文献批量获取
外文文献批量获取
王青; 杨孟飞;
北京控制工程研究所;
中国空间技术研究院;
验证; 断言; 形式验证; 模型检验;
机译:基于新的断言方法,以验证数字和混合信号验证流中的混合信号SOC设计
机译:方法论寻求基于断言的验证
机译:运行时Web服务补偿:使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
机译:自动承担保证分析,用于基于断言的形式验证
机译:通过基于断言的验证和故障注入对集成电路设计进行故障覆盖分析。
机译:机器学习和基于规则的断言分类方法
机译:自动承担基于断言的形式验证的保证分析
机译:HOL2GDT基于形式验证的设计方法
机译:基于用户程序代码的断言生成装置和方法用于断言的处理器验证的装置和方法
机译:用于基于用户程序代码生成断言的设备和方法,以及用于使用断言来验证处理器的设备和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。