前波音工程师开发出能生成逻辑规范的工具

在实验室进行了容错飞行控制系统的设计工作之后，Dave McFarland意识到没有很好的方式来指定逻辑，并兼顾所有可能的组合。因此他创建了一种能够处理这种任务的工具。

McFarland的逻辑设计工具Logic Design Tool (LDT)是开发数字控制的一种图形助手，针对组合且连续的逻辑，生成完整的规范，使用户能指定所有晶体管的所有状态及所有输入组合。然后它能提供逻辑的多个视角，识别停滞等状态，搜寻最优和最差情况下的性能路径，并产生C、Pascal、Ada、VHDL或Espresso源文件。

作为一名曾在波音和United Technology Corp.工作过的嵌入软件工程师，McFarland表示，“如果有超过4个或5个变量，当前的规范就会出现问题。”他研制的LDT包含一项覆盖该工具部分技术的专利，并计划将LDT通过网站www.logicdesigntool.com商用化。

LDT适合任何致力于数字逻辑的人，包括FPGA和IC设计师。LDT基于卡诺图分层，把输入变量与下一状态输出变量联系起来。据McFarland称，LDT提供最低限度的逻辑，紧密匹配Espresso算法。