退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于微处理器的设计的自动多周期符号时序验证
Anurag P. Gupta; Daniel P. Siewiorek; PDaniel P. Siewiorek;
机译:基于多目标用户约束的多周期瞬态故障可检测数据路径的自动设计空间探索,用于专用计算
机译:关于自动符号验证的调查及其综合网络系统的应用
机译:程序验证,自动调试和符号计算前言专刊
机译:使用Presburger公式对时序图进行符号时序验证
机译:具有相对定时的合成的符号异步硬件协议验证。
机译:象征性语音表征的时序证据和语音生产中的外在时机
机译:使用预先计算公式的时序图的符号时序验证
机译:多相,多频率,多周期电路的时序验证方法
机译:验证多相,多频率和多周期电路时序的方法
机译:使用符号输入时序进行密码验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。