断言图相关硕士博士期刊学术论文 - 皮皮文库

断言图相关论文

时序逻辑转换断言图研究

由于因特网和嵌入式系统在汽车、飞机以及其它安全系统的成功应用，未来将会更加依赖于计算机设备的功能。由于技术的快速发展，发展验......

学位

时序逻辑断言图形式化方法模型检验

一种基于断言图的模型抽象技术的研究

随着集成电路设计复杂度的与日俱增，而芯片的更新换代速度也在不断加快，使得集成电路芯片的验证越来越困难。传统的芯片验证主要是基......

学位

形式化验证 GSTE 断言图模型抽象 VIS

看过本文同时还关注