在实验室进行了容错飞行控制系统的设计工作之后，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算法。
