退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:电路延迟计算的可满足性模型和算法
Luís Guerra; E Silva; João Marques-silva; L. Miguel Silveira; Karem A. Sakallah;
机译:组合电路中浮模延迟的计算:理论与算法
机译:亚阈值互连电路的紧凑模型和延迟计算
机译:计算延迟模型来估算CMOS电路中的浮动多维数据集的延迟
机译:具有无限扇入门的恒定深度布尔电路的可满足性算法。
机译:RACIPE:使用随机化对基因调控电路建模的计算工具
机译:组合电路中浮模延迟的计算:理论和算法
机译:双极ECL / EFL(发射极耦合逻辑/发射极 - 跟随器 - 逻辑)电路的延迟建模
机译:具有延迟计算的递归算法在具有同位性加密的空间中执行
机译:具有通用数字回溯算法的设备,用于解决可满足性问题,以验证电路和软件的功能
机译:用于确定具有最大或最小延迟时间的逻辑电路的路径的延迟计算设备,延迟计算方法和存储介质
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。