Dept. of Comput. Sci., Univ. of Missouri, Columbia, MO, USA;
机译:基于通行证分离技术的可能正确的硬件编译工具
机译:进化算法的可重构推理硬件
机译:使用可编程模拟前端和可重新配置片上系统硬件的可重新配置超声波测试系统开发
机译:通过成权推理可提供可重新配置硬件设计的正确发展
机译:从代数规范到正确的VLSI系统(硬件设计,设计自动化)
机译:可重构数字神经形态硬件的高效突触存储器结构
机译:使用时序图可提供正确的硬件编译
机译:可容错时钟同步电路的可证明正确设计的硬件实现