电路并发性质在GSTE中的研究和实现

郑德生; 杨国武; 徐忠林

Chinese

您当前的位置：

首页 >

文章列表页 >

电路并发性质在GSTE中的研究和实现

更新时间：2026-09-04

- 电路并发性质在GSTE中的研究和实现
- The Implementation and Research of Circuits Concurrent Properties in GSTE
- 微电子学与计算机 2013年30卷第6期页码：43-47
- 作者机构：
  
  电子科技大学计算机科学与工程学院,四川,成都,611731
- 作者简介：
- 基金信息：
  
  国家“九七三”计划项目(2010CB328004)国家自然科学基金项目(60973016)
- DOI：
  中图分类号：
- 纸质出版：2013
- 稿件说明：
移动端阅览
郑德生, 杨国武, 徐忠林. 电路并发性质在GSTE中的研究和实现[J]. 微电子学与计算机, 2013, 30(6): 43-47.

ZHENG De-sheng, YANG Guo-wu, XU Zhong-lin. The Implementation and Research of Circuits Concurrent Properties in GSTE[J]. 2013, 30(6): 43-47.
郑德生, 杨国武, 徐忠林. 电路并发性质在GSTE中的研究和实现[J]. 微电子学与计算机, 2013, 30(6): 43-47. DOI：

ZHENG De-sheng, YANG Guo-wu, XU Zhong-lin. The Implementation and Research of Circuits Concurrent Properties in GSTE[J]. 2013, 30(6): 43-47. DOI：

摘要

由于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.

关键词

Keywords

references

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

低功耗设计的双链电源关断策略的实现与验证

基于改进RT-DETR的航拍小目标检测算法

大模型发展综述：从BERT到Deepseek的技术演进

基于多尺度融合与小目标增强的航拍车辆检测算法

基于区块链的AI生成内容溯源框架设计研究