退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于时间逻辑的测试和硬件验证的常用方法
Kropf T.; Wunderlich H.; Institute of Electric and Electronic Engineer;
机译:用于硬件电路设计和验证的多值逻辑方法
机译:使用时间逻辑分析时间逻辑:一种基于时间间隔的分层方法
机译:协议的测试自动生成:TGV(采用验证技术的测试)方法的示例
机译:一种基于平台的线性时序逻辑规范验证和综合方法
机译:伦敦塔测试:传统统计学方法与基于人工神经网络的模型在额颞痴呆症与阿尔茨海默氏病鉴别中的比较
机译:基于时态逻辑的测试生成和硬件验证的常用方法
机译:生成多个同时进行的随机测试周期,以对被测设计的多个功能进行硬件验证
机译:数据处理系统具有签名硬件,其中在程序执行期间进行验证以通过硬件基于值和子序列来查找分配给子序列的子序列和测试值是否彼此匹配。
机译:自动生成测试以覆盖网络物理系统的时间逻辑伪造的结构覆盖
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。