摘要：介绍了一款采用我国自行研发、具有自主产权的通用微处理器芯片——龙芯2F为处理核心的嵌入式系统设计,该系统根据工控嵌入式系统的需求特点,采用AMD GeodeTMCS5536作为系统的南桥,设计了相应的驱动电路和接口。系统板面积为140 mm×100 mm,板载FLASH和DDR2内存,硬盘、CF卡、USB、鼠标、键盘等接口,利用串、并口为系统终端。该系统具备普通PC机的所有接口,故也可作为普通PC机主板使用。

摘要：断言（Assertions）是关于设计所做的“真相的声明”或“事实的说明”。断言的唯一目的是保证设计者的意图与最后生成电路逻辑功能的一致性。断言作为新兴的验证技术，广泛受到业内人士青睐。面向对象编程语言SystmVerilog的断言（SVA）更是得到各家EDA公司的大力支持和推广。本文以localbus接口检验器为例，介绍如何设计和使用SVA。