退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:结合先进的正式硬件验证技术
Reeber, Erik Henry;
The University of Texas at Austin;
机译:从面向并行行为的规范中进行硬件合成的经过正式验证的峰值功率降低技术
机译:结合软件和硬件验证技术
机译:正式模拟与AMBA验证IP结合进行验证
机译:使用硬件验证技术的硬件/软件形式的共同验证
机译:软件验证技术在硬件设计验证中的应用。
机译:可持续棕榈油 - 筛选和先进的分析技术进行地理可追溯性和真实性验证的作用
机译:基于C基硬件设计的正式验证技术的趋势
机译:硬件模型的分解和硬件模型的形式验证的方法
机译:分解硬件模型并加速对硬件模型的形式验证的方法
机译:正式验证工具,用于验证存储单元的硬件设计
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。