未知时序电路状态图生成算法及状态间路径的递归导出

• 来源期刊: 计算机辅助设计与图形学学报
• 学科: 工学
• 关键词: 数据采集 状态网络 路径导出
• 年，卷（期）: 1998,（2）
• 页码范围: 78-84
• 页数: 7页
• 分类号: TP391.72,
• 语种: 中文

摘要

运用数字系统自动化设计的基本理论和技术,可采用逻辑反向设计法分析未知逻辑电路.该文为分析未知时序逻辑提出一种适合多状态、复杂同步时序电路的数据采集方法,并引入状态网络和基于状态网络的路径导出算法,使时序机数据采集有较理想的时空开销.