AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:切换等效保持(TEp)逻辑优化
Eugene Goldberg (cadence Berkeley Labs; Kanupriya Gulati; Sunil Khatri (texas A;
机译:发射极耦合逻辑和源极耦合FET逻辑触发器最大工作频率的解析表达式
机译:通过蕴涵分析进行逻辑优化和对等检查
机译:保留非计时N-等效的操作克隆的分类等价
机译:切换等效保留(TEP)逻辑优化
机译:基于等效验证的异步睡眠会议逻辑电路的正式验证方法
机译:等效测试的逻辑及其在实验室医学中的应用
机译:切换等价保留逻辑综合
机译:逻辑等价验证装置,逻辑等价验证方法,逻辑等价验证程序和记录介质
机译:逻辑等效验证系统,逻辑等效验证方法,制造半导体集成电路的方法,控制程序和可读存储介质
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。