boolean satisfiability; fpga; interpolation; logic optimization; technology mapping; windowing;
机译:可扩展的无需护理的逻辑优化和重新合成
机译:使用外围重定时和重新合成优化流水线逻辑电路的性能
机译:模糊逻辑控制系统优化固定床反应器中甲烷产量的开发和试验规模验证
机译:可扩展的基于无关逻辑的逻辑优化和重新合成
机译:通过增量逻辑重新合成和基于快捷方式的路由架构来改进FPGA设计。
机译:磷脂酶Cbeta活化后透化的嗜中性粒细胞中磷脂酰肌醇的再合成:中间体磷脂酸从质膜到内质网的磷脂酰肌醇再合成的转运不依赖于可溶性脂质载体或囊泡转运。
机译:内隐重定时和再合成的序贯逻辑优化
机译:顺序逻辑综合中的冗余和不关心。