ZHENG De-sheng, YANG Guo-wu, XU Zhong-lin. The Implementation and Research of Circuit's Concurrent Properties in GSTE[J]. Microelectronics & Computer, 2013, 30(6): 43-47.
Citation:
ZHENG De-sheng, YANG Guo-wu, XU Zhong-lin. The Implementation and Research of Circuit's Concurrent Properties in GSTE[J]. Microelectronics & Computer, 2013, 30(6): 43-47.
ZHENG De-sheng, YANG Guo-wu, XU Zhong-lin. The Implementation and Research of Circuit's Concurrent Properties in GSTE[J]. Microelectronics & Computer, 2013, 30(6): 43-47.
Citation:
ZHENG De-sheng, YANG Guo-wu, XU Zhong-lin. The Implementation and Research of Circuit's Concurrent Properties in GSTE[J]. Microelectronics & Computer, 2013, 30(6): 43-47.
The Implementation and Research of Circuit's Concurrent Properties in GSTE
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.
DownLoad: