退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于C基硬件设计的正式验证技术的趋势
Masahiro Fujita;
机译:在正式验证驱动的设计流程中利用硬件不可观察性进行低功耗设计和安全分析
机译:在正式验证驱动设计流程中利用低功耗设计和安全分析的硬件不可观察性
机译:从面向并行行为的规范中进行硬件合成的经过正式验证的峰值功率降低技术
机译:用于有效共同验证硬件/软件共同设计的正式技术
机译:结合先进的正式硬件验证技术
机译:使用部分重配置技术促进抢先式硬件系统设计
机译:硬件设计中的形式验证:调查
机译:正式验证工具,用于验证存储单元的硬件设计
机译:用于在电子设计中使用形式验证技术实现死锁检测的方法,系统和计算机程序产品
机译:使用形式化技术对交换网络逻辑进行设计验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。