论文部分内容阅读
提出了一种针对SystemVerilog断言的断言检查电路综合方法。综合而成的断言检查电路可以被用于硬件仿真中。方法基于移位寄存器链保存电路信号的历史数据,并利用断言电路间寄存器共用减少硬件资源使用。实验结果表明,与已有的断言综合方法比较,本方法具有有效性。
面向硬件仿真的SystemVerilog断言检查电路生成研究
【摘 要】
：
提出了一种针对SystemVerilog断言的断言检查电路综合方法。综合而成的断言检查电路可以被用于硬件仿真中。方法基于移位寄存器链保存电路信号的历史数据,并利用断言电路间寄
【机 构】
：
上海交通大学电子信息与电气工程学院
【出 处】
：
信息技术
【发表日期】
：
2011年2期
其他文献
根据我们考察，教师的课堂问语多种多样，有提问语、设问语、泛问语、留空问语、商问语、提醒问语、应声问语、重复问语等等。每种问语都可以从问语的类型、问语的功能、问语的设
晋武帝司马炎曾说：“为官长当清，当慎．当勤。”意思是说，当官应当清廉、谨慎、勤勉。这为官三字箴言对于普通人而言，可以理解为做人三字箴言，即时刻保持头脑清醒、谨小慎微、努力勤
基于相控阵雷达简单固定模板调度策略,引入了无中心处理的方式：将调度模块分别嵌入到多个节点上,实现了一套既可以有效完成雷达任务调度,又可以降低主处理节点故障导致的雷达
“昨天所有的荣誉，已变成遥远的回忆。”退伍后，壮志凌云的我以为凭借着在部队刊登的众多稿件，回到家乡会一马平川，入职自己梦寐以求的宣传部门，然后继续圆自己的写作梦。谁知事与
随着计算机技术的快速发展,中心空调机房监控系统已成为楼宇自动化系统设计的核心。为解决旧式空调机房监控系统存在的各种问题,该监控系统的硬件采用PLC控制,软件采用NI公司
从去年11月至今，习主席多次在不同时机和场合阐述了中国梦、强军梦。习主席的重要阐述立意高远、内涵丰富、意义重大。学习领会、准确把握中国梦、强军梦的本质要求、内在关系
提出了一种基于OpenCV的基本电子元器件几何特性自适应测量方法。对图像进行预处理如形态学去噪、平滑滤波处理和二值化阈值分割,获得二值化黑白图像。选用Canny算子,检测获得该元器件边缘轮廓线后进行霍夫变换,并对数据进行一定程度的处理,可得到该元器件的几何特性。对于不同场景下的不同元器件,该方法可以自动匹配较合适的处理参数。在Visual Studio 2010和OpenCV2.3.1平台下实现该
有一只小蜗牛总是嫌弃自己背上的壳既笨重又难看。它羡慕天上的飞乌有天空守护；l它羡慕地下的蚯蚓有大地为依。蜗牛的妈妈告诉它：“你不靠天，也不靠地，要靠自己身上的壳。身上的