-
题名基于SVA的检验器设计方法
- 1
-
-
作者
植玉
唐雄
王喜瑜
章恒
-
机构
中兴通讯股份有限公司。广东深圳
-
出处
《计算机光盘软件与应用》
2011年第20期127-127,共1页
-
文摘
断言（Assertions）是关于设计所做的“真相的声明”或“事实的说明”。断言的唯一目的是保证设计者的意图与最后生成电路逻辑功能的一致性。断言作为新兴的验证技术，广泛受到业内人士青睐。面向对象编程语言SystmVerilog的断言（SVA）更是得到各家EDA公司的大力支持和推广。本文以localbus接口检验器为例，介绍如何设计和使用SVA。
-
关键词
断言
SVA
OVL
DUT
localbus
-
Keywords
Assertion
SVA
OVL
DUT
localbus
-
分类号
TN492
[电子电信—微电子学与固体电子学]
-
-
题名龙芯2F处理器在工控嵌入式系统中的应用
- 2
-
-
作者
张军
袁昕
-
机构
井冈山大学工学院
-
出处
《井冈山大学学报（自然科学版）》
2008年第4期5-7,36,共3页
-
基金
国家高技术研究发展计划(863)(No.2005110010
No.2005AA119020)
-
文摘
介绍了一款采用我国自行研发、具有自主产权的通用微处理器芯片——龙芯2F为处理核心的嵌入式系统设计,该系统根据工控嵌入式系统的需求特点,采用AMD GeodeTMCS5536作为系统的南桥,设计了相应的驱动电路和接口。系统板面积为140 mm×100 mm,板载FLASH和DDR2内存,硬盘、CF卡、USB、鼠标、键盘等接口,利用串、并口为系统终端。该系统具备普通PC机的所有接口,故也可作为普通PC机主板使用。
-
关键词
龙芯2F
嵌入式系统
PCI
localbus
完整性
-
Keywords
Godson-2F
embedded systems
PCI
LOCAL BUS
integrity
-
分类号
TP368.12
[自动化与计算机技术—计算机系统结构]
-
