机译:使用布尔可满足性的FPGA PLB体系结构评估和面积优化技术
Boolean satisfiability (SAT); field-programmable gate array (FPGA); logic synthesis; quantified SAT (QSAT); resynthesis;
机译:使用量化布尔可满足性的FPGA可编程逻辑块评估
机译:可调谐FPGA比特流混淆与布尔满足性攻击对策
机译:基于FPGA的硬件加速以实现布尔可满足性
机译:使用量化布尔可满足性的FPGA PLB评估
机译:用于优化FPGA和集成电路可靠性的架构和CAD技术。
机译:使用确定性和随机优化技术的中频变频器中SHE控制的三相CHB 11级逆变器的谐波分析和FPGA实现
机译:利用量化的布尔饱和度进行FPGA PLB评估