断言图相关论文
由于因特网和嵌入式系统在汽车、飞机以及其它安全系统的成功应用，未来将会更加依赖于计算机设备的功能。由于技术的快速发展，发展验......
随着集成电路设计复杂度的与日俱增，而芯片的更新换代速度也在不断加快，使得集成电路芯片的验证越来越困难。传统的芯片验证主要是基......
为了提高基于描述逻辑的知识库检索的效率，提出了断言图的概念和基于断言图匹配的检索方法。断言图是带有标签的有向图，基于断言图匹......
由于GSTE的性质描述断言图的时序特性，使其不能够简洁易懂地描述电路的并发性质，因此将meet运算符引入GSTE，重新定义GSTE断言图及其验......
