一种行为级可测性综合开放平台架构的研究

摘要

伴随着数字电路复杂度的增加和CAD技术的发展,高层综合技术得到广泛应用,其中基于行为级描述的可测性综合技术充分考虑了测试结构的插入和可测性的要求,成为测试领域研究的新热点。本文首先提出了行为级可测性综合的架构设计,设计并初步实现一个高层次综合的开放平台。为了实现控制数据流图的提取,进一步讨论了词法语法分析器的设计与构造,并在linux系统上进行了实现。