电路并发性质在GSTE中的研究和实现
The Implementation and Research of Circuit's Concurrent Properties in GSTE
-
摘要: 由于GSTE的性质描述断言图的时序特性,使其不能够简洁易懂地描述电路的并发性质,因此将meet运算符引入GSTE,重新定义GSTE断言图及其验证算法,使之能更简洁的描述和验证数字电路的并发性质,实验表明引入meet运算符后的算法能够降低验证的复杂度.Abstract: This paper extends the GSTE with a new a new operator "meet".We modify the assertion graph and the algorithm of GSTE to make it can succinctly describe and verify the concurrent properties of digital circuits.The experiment result express that the new method can reduce the complexity of verification.
下载:
