2. 您的位置
3. 首页
4. 期刊论文
5. 属性说明语言在基于断言的硬件验证中的应用

属性说明语言在基于断言的硬件验证中的应用

来源 :微电子学与计算机 | 被引量 : 0次 | 上传用户：shibihu

【摘 要】

：

EDA界的标准化组织Accellera最近确定IBM的sugar语言为标准的属性说明语言,可以用于基于断言验证技术的设计属性说明.文章首先介绍了基于断言验证的基本概念和属性说明语言PS

【作 者】

：

刘有耀 韩俊刚 

【机 构】

：

西安邮电学院ASIC设计中心

【出 处】

：

微电子学与计算机

【发表日期】

：

2006年5期

【关键词】

：

硬件电路 属性说明语言 基于断言验证 Hardware circuit  Property specification language  Assertion 

【基金项目】

：

国家自然科学基金项目（90207015）

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

EDA界的标准化组织Accellera最近确定IBM的sugar语言为标准的属性说明语言,可以用于基于断言验证技术的设计属性说明.文章首先介绍了基于断言验证的基本概念和属性说明语言PSL的用途和属性定义.然后给出了用PSL实现基于断言的硬件验证方法.用一个实例说明了怎样用PSL语言实现基于断言的验证.

其他文献

湖北省公安厅警用装备器材调拨中心简介

湖北省公安厅警用装备器材调拨中心（以下简称“中心”）是根据公安部文件精神，经“省清办”批准，依法成立的唯一的湖北省省级定点警用装备器材调拨机构，属公安厅内设机构。其主要职

期刊

装备器材省公安厅湖北省警用调拨简介基层公安机关内设机构

基于复合管改进型电流镜的CCCII电路

提出了一种新型的电流控制第二代电流传输器电路。该电路由6个复合营改进型电流镜和1个跨导线性环组成．该电路的电流传输精度远高于基于基本电流镜和级联电流镜实现的电流控制

期刊

CCCII复合营电流镜complex transistorcurrent controlled current conveyor current mi

WSN中一种基于数据融合的能量高效分簇路由协议

基于无线传感器网络中监测数据具有较高时空相关性的应用场景。提出了一种基于数据融合的局部能量高效汇聚分簇协议LEEAC，该协议通过反映局部空间相关性的数据相异度对节点剩

期刊

无线传感器网络数据融合能量高效数据相异度预测能量数据鉴定码wireless sensor network data aggregation en

基于聚合表技术的数据挖掘方法研究

文章通过对聚合表技术的研究和分析，把该技术应用于基于ROLAP的数据挖掘中．既充分发挥了ROLAP方法的优势，又克服了其查询效率低的最大弱点。

期刊

聚合聚合表ROLAPMOLAPAggregation Aggregation table ROLAP MOLAP

提高高校图书馆综合管理能力的思考

高校图书馆管理事关其职能的发挥与图书馆事业发展的进程，只有提高高校图书馆的民主管理能力、依法管理能力、科学管理能力，才能提高其综合管理能力，才能促进其全面、协调、可持

期刊

高校图书馆综合管理民主管理科学管理依法管理the library in universitydemocracy managementscienti

42例原发性胃淋巴瘤的临床特点分析

目的：探讨原发性胃淋巴瘤（PGL）的临床特点，以期提高该病的诊治水平。方法：回顾性分析湖北医药学院附属太和医院2003年01月至2013年01月收治的42例原发性胃淋巴瘤患者的临床病理资

期刊

原发性胃淋巴瘤弥漫性大B细胞淋巴瘤黏膜相关胃淋巴瘤美罗华primary gastric lymphoma diffuse large B - cell

结果加重犯概念辨析

结果加重犯理论存在争议，这些争议在很大程度上是因为理论上对结果加重犯的概念没有界定清楚。关于结果加重犯的概念，有广义说、狭义说、折中说。通过对几种观点的比较，认为结果

期刊

基本犯加重结果故意过失basic crime aggravated result on purpose fault

公安宣传教育工作与时俱进的几点思考

当前公安宣传工作存在着舆论引导不够，宣传资源开发不力，对警察公共关系认识不足等问题。在新的形势和任务面前，公安宣传工作要强化“四个职能”。教育训练工作存在着四个“三不

期刊

公安宣传工作教育训练与时俱进机制public security propaganda educational training marching w

基于Simulink的序列密码仿真研究

提出了利用Simulink对序列密码编码系统仿真的方法。根据基于移位寄存器产生伪随机序列的原理，使用Simulink的存储器模块模拟移位寄存器，以此为基础加上逻辑运算、双路选择等模

期刊

序列密码仿真模块stream ciphers simulation module

基于马尔可夫决策过程的网格资源发现

传统的网格资源发现方法没有考虑节点和资源本身性能的优劣性。针对这一问题，提出了基于马尔可夫决策过程（MDP）的网格资源发现方法，利用其对固定目标的最优搜索理论建立MDP模型实

期刊

马尔可夫决策过程网格资源发现网格markov decision processes grid resource discovery grid