科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
李智慧;
宁波大学;
机译:使用BDD的CNF表达式生成方法可加速基于SAT的逻辑电路形式验证
机译:CNF形成方法使用BDD加速基于SAT的逻辑电路的格式验证
机译:基于布尔偏导数和BDD的逻辑电路测试生成方法
机译:基于等效验证的异步睡眠会议逻辑电路的正式验证方法
机译:基于治疗师指导的基于互联网的认知行为疗法对身体变形障碍(BDD-NET)的长期疗效:随机对照试验后的自然随访2年
机译:具有面积和功率折衷的多级逻辑电路BDD的算法优化和性能评估
机译:使用无BDD的符号模型检查验证powerpC(商标)微处理器的安全属性
机译:逻辑电路验证装置,逻辑电路验证方法和逻辑电路验证程序
机译:逻辑电路设计验证装置,逻辑电路设计验证方法和介质存储逻辑电路设计验证程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。