数字系统的有限自动机ASM图设计

设计数字系统的过程一般可分为:系统功能定义、算法描述、硬件综合、性能估价和测试。算法描述是设计系统时较为困难的任务,硬件综合则与实现系统结构的器件有关。采用有限自动机ASM图(algorithmic state machine chart)的设计方法,是以一种类似于程序流程图的形式来描述系统的功能,借用顺序、判断、循环等结构,自上而下地进行设计,能明确地表达算法,使之易读和便于验证。用ASM图描述的算法,能在不同的级别上转换为相应的硬件结构,或微处理器系统中的软件程序。我们用此法设计     

基于APTIX设备实现对数字系统的硬件加速验证

随着硬件描述语言(HDL)的发展,数字系统日趋复杂,对其进行验证需要很长时间,根据近年来的统计,对数字系统设计进行测试验证所花的时间占整个设计过程的60%以上.但是现在许多可编程逻辑器件(PLD)厂家都能够提供相关电子设计自动化(EDA)软件来完成对数字系统的快速验证,其中APTIX公司的设备是价格低、验证速度快、基于层次化和模块化的验证平台.文中以APTIX设备为开发环境,应用硬件加速验证的方法来实现对数字系统的快速验证.     

基于随机逻辑准数字化DAC的PLD实现

给出了一种基于随机逻辑的准数字化数模转换电路的PLD实现方法,即将绝大部分器件在PLD中实现,外部只有极少的模拟元件.介绍了设计原理,给出了仿真分析和硬件测试的结果.由于用硬件描述语言(HDL)来实现DAC功能,所实现的电路与集成电路制造工艺无关,可以方便地移植到其他设计中去,实现PLD系统设计单片化.     

用自顶向下法设计交通灯控制系统

自顶向下法是数字系统设计通常采用的一种方法。一般教材在讨论交通灯系统设计举例时，因为没有给出完整的ASM图，导致定时电路模块的设计过程不清晰，实质上该部分的设计采用了传统的试凑法，而非自顶向下法。为便于完整地理解自顶向下设计方法，本文给出交通灯控制系统完整的ASM图，采用自顶向下方法设计定时电路，并与试凑法设计结果进行比较。为了验证设计的正确性，采用VHDL语言描述该交通灯系统，并给出MAX＋plusⅡ输出的仿真结果，证实了设计的正确性。对数字系统设计的教学具有一定的参考价值。     

基于抽象状态机的网格系统设计和分析

基于可执行规范的实现测试同步开发模式可以将错误尽早消灭在各个开发阶段的初期.其理论基础是抽象状态机ASM,实现工具是支持.NET的AsmL.本文首先介绍了基于可执行规范的实现测试同步开发模式、ASM起源和定义,然后采用ASM描述了网格高层次系统语义,并举例说明了采用AsmL生成有限状态机分析模型语义的方法步骤.本文认为基于ASM的网格系统设计和分析值得学术界和工业界的共同关注.     

系统设计师只是盲动的中间人吗？

在嵌入式设计领域,系统设计被视为运用高层次算法建模技术和软件语言来描述可编程设备中的电子系统.传统上,系统设计通过片上系统(SoC)设计(包含ASIC及FPGA)采实现,特别是FPGA越来越普遍.这种方法论面向软件工程师,可以规避晦涩难懂的硬件描述语言(HDL),同时驾轻就熟地管理复杂的SoC系统.     

Verilog语法的基本概念

前言 Verilog HDL是一种用于数字系统设计的语言。用Verilog HDL描述的电路设计就是该电路的VerilogHDL模型，也称为模块。Verilog HDL既是一种行为描述的语言也是一种结构描述的语言。这就是说，无论描述电路功能行为的模块或描述元器件或较大部件互连的模块都可以用Verilog语言来建立电路模型。如果按照一定的规矩编写，功能行为模块可以通过工具自动地转换为门级互连模块。Verilog模型可以是实际电路的不同级别的抽象。这些抽象的级别和它们对应的模型类型共有以下五种：● 系统级(system): 用语言提供的高级结构实现设计模块外…     

基于抽象状态机的网格系统设计和分析

基于可执行规范的实现-测试同步开发模式可以将错误尽早消灭在各个开发阶段的初期．其理论基础是抽象状态机ASM，实现工具是支持．NET的AsmL．本文首先介绍了基于可执行规范的实现-测试同步开发模式、ASM起源和定义，然后采用ASM描述了网格高层次系统语义，并举例说明了采用AsmL生成有限状态机分析模型语义的方法步骤．本文认为基于ASM的网格系统设计和分析值得学术界和工业界的共同关注．     

ABEL语言对逻辑设计的描述

可编程逻辑器件PLD是当今国际上流行的最新一代电子数字逻辑器件,其最突出的特点是可由用户自己定义其逻辑功能,因而能适应各种各样应用的不同要求。而且利于简化系统设计,缩小系统规模,提高系统可靠性,同时对电路修改也带来了极大的方便。因此PLD器件越来越为广大科研和技术工作人员所采用。ABEL则是一种开发PLD的高级语言,这种计算机语言能够采用诸如逻辑方程、真值表、状态图等习惯方式来描述逻辑。这为PLD的开发应用带来了方便,本文以可逆的十进制计数器为例,采用上述常用的三种方式用ABEL语言来描述其逻辑。本文例举的三种ABEL程序都表达了同一个设计,得到同一个结果。即得到同一个SIM、DOC、JED等文件。旨在说明用ABEL语言来描述一个设计的方法。上述三种方式为工程技术人员提供了一种选择,即你可选择你自己认为是最简单方便的方式来描述你的设计,也可是三种方式的某一种,或三者的组合方式。     

基于FPGA的自适应FIR复数滤波器设计

本文探讨一个可编程数字滤波器在FPGA实现的可行性,整个系统基于LMS算法,用VHDL语言编写,采用自顸向下的设计.另外,本系统设计考虑了吞吐量的要求,因此引进流水线运算来提高Symbol Rate.系统用maxplus II仿真,采用的device为EPF10k130EFC672-1x.此系统的设计将有助于今后4G手机系统的数字滤波器的开发.