机译:软件/可重新配置的硬件SAT求解器
Boolean functions; VLSI; backtracking; circuit complexity; computability; field programmable gate arrays; finite state machines; hardware-software codesign; logic partitioning; reconfigurable architectures; Boolean satisfiability problem; NP-complete problem; benchm;
机译:使用可重构硬件和虚拟逻辑的SAT解算器
机译:通过软件和硬件协同设计加速基于FPGA的SAT解算器
机译:通过软件和硬件协同设计加速基于FPGA的SAT解算器
机译:使用软件和可重新配置硬件的SAT解算器
机译:使用可重新配置的硬件实现节能的软硬件协同合成
机译:概念问题和标准。医疗硬件软件和信息交换的标准:脉搏血氧仪的MIB软件语义模型ASN.1消息传递
机译:软件/可重配置硬件saT求解器