退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:时态逻辑:硬件验证逻辑
David Cyrluk; Paliath Narendran;
机译:用于硬件电路设计和验证的多值逻辑方法
机译:一种使用三时态逻辑验证的变化矢量分析的改进的变化检测方法
机译:具有线性时间逻辑的行为树正式验证的框架
机译:基于时间逻辑的测试和硬件验证的常用方法
机译:硬件设计中控制逻辑的自动形式验证。
机译:可逆逻辑的随机P位的硬件仿真
机译:基于时态逻辑的测试生成和硬件验证的常用方法
机译:不使用时态逻辑验证时态属性
机译:硬件逻辑验证支持装置,验证支持方法及计算机产品
机译:使用过程代数和地时逻辑验证过程的装置
机译:硬件辅助设计验证系统,使用基于数据包的协议逻辑进行合成,可以高效地加载和卸载数据
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。