Testability and Sequential Optimization of Asynchronous State Machines

异步状态机的可测试性和顺序优化

• 批准号: 9501880
• 负责人: Steven Nowick
• 金额: $ 14.08万
• 依托单位: Columbia University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1995
• 资助国家: 美国
• 起止时间: 1995-09-01 至 1998-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9501880&HistoricalAwards=false
• 关键词: Testability; Sequential; Optimization; Asynchronous; State

This research is part of a long term effort to migrate techniques for synchronous design to asynchronous design. The two focus areas are sequential optimization and synthesis for testability. In the former, problem formulations of input, output and input/output encoding are being investigated. In each case, the problems of optimality, race-free encoding, and hazard free logic are being solved simultaneously. In the latter, synthesis of fully testable asynchronous state machines using partial or no scan is being pursued. Design tools, incorporating the algorithms for optimization and synthesis for test, are being developed.

这项研究是将同步设计的技术移植到异步设计的长期努力的一部分。两个重点领域是顺序优化和可测试性综合。在前者中，正在研究输入、输出和输入/输出编码的问题公式。在每一种情况下，最优化、无竞争编码和无风险逻辑的问题都同时得到解决。在后者中，正在寻求使用部分扫描或不扫描来合成完全可测试的异步状态机。目前正在开发包含优化算法和测试综合算法的设计工具。