退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:逻辑综合中的布尔匹配
Hamid Savoj; Mario J. Silva; Robert K. Brayton; Alberto Sangiovanni-Vincentelli;
机译:利用对称性来加速基于SAT的布尔匹配以实现FPGA的逻辑综合
机译:逻辑综合和验证中用于快速布尔匹配的新规范形式
机译:BDD在布尔匹配技术中用于形式逻辑组合验证的应用
机译:逻辑综合和验证中基于规范形式的布尔匹配和对称性检测
机译:使用布尔逻辑对依赖信号的多能性进行建模以预测细胞命运的转变
机译:一种新的规范形式,用于逻辑综合和验证中的快速布尔匹配
机译:逻辑电路综合中布尔函数的部分对称性
机译:用于匹配两个布尔函数的布尔匹配方法需要很少的内存来比较两个函数,同时为函数的所有输入计算值
机译:算盘布尔或布尔矩阵。网格矩阵,能够将卡容纳到电子逻辑中,以基于运算符和/或非或非,或非-或非-规则及其组合在操作逻辑电路中实施和测试
机译:[n i Sub>] f(2 n Sup>)和[m i Sub>] f()的模拟信号位置参数的布尔求和方法f Σ Sub> [n i Sub>]&[m i Sub>]()中的部分乘积的2 n Sup>) 2 n Sup>)使用双布尔微分d / dn + Sup>和d / dn -中间和 Sup>以及位置格式中结果和[S i Sub>] f(2 n Sup>)的生成(俄语)
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。