时序机的功能验证

本文介绍了时序电路（时序机）功能验证的基本概念和发展，分析了验证中存在的问题以及冗余故障的性质．提出基于ＳＴＧ的功能验证方法。最后，提出了采用动态任务调度策略的并行验证技术以解决状态遍历问题。     

多任务下的系统实时检测

本文根据ＳＴＤ总线控制系统的要求和环境，以ＲＡＭ的故障模型为基础，提出了基于时间控制及模块的系统故是实时检测设计，重点研究了暂时故障的处理问题。由各模块检测算法构成的检测任务灵活方便，实用性强，能处理文中提出的所有故障。