Verilog语义,Verilog formal semantics,音标,读音,翻译,英文例句,英语词典

您的位置：首页 -> 词典 -> Verilog语义

1) Verilog formal semantics 点击朗读

Verilog语义

2) Verilog HDL 点击朗读

Verilog HDL语言

例句>>

3) verilog HDL 点击朗读

Verilog语言

The paper realizes the design of SDXC matrix with Verilog HDL based on a improved unit architecture.

通过改进传统数字交叉连接矩阵的单元结构,详细介绍了基于Verilog语言的SDXC矩阵设计的一种新方法。

更多例句>>

4) verilog 点击朗读

Verilog语言

Moduling Component with Verilog Language; 点击朗读

使用Verilog语言建立器件模型

The RTL-level description of the algorithm by Verilog language is achieved. 点击朗读

为了使算法能够在FPGA上具体实现,文中对算法进行了改进,实现了直方图统计和均衡的并行执行,利用Verilog语言对算法进行了完全可综合的RTL级描述,在Linux系统上应用Ncverilog进行了编译仿真,并利用Synplify Pro8。

更多例句>>

5) Verilog language 点击朗读

Verilog语言

This paper introduces the basic principles of the DES encryption system,achieves the optimum FPGA reconstructing design on the DES with the help of giving the algorithm of DES encryption under the Verilog language and the C language conditions and the effective dealing with the key issues.

通过对DES加密原理的分析,推导出了DES的算法公式,通过对算法中核心部分的数学分析和化简,借助Verilog语言与C语言编程以及EDA设计软件的帮助,实现了DES算法的FPGA条件下的重构设计,同时对密钥的动态管理提出了新的设计方案。

In this paper, a memory optimizing implementation scheme is proposed and modeled using the verilog language for the purpose of applying JPEG2000 in real-time image processing.

为了使JPEG2000能用于实时图像处理,本文设计了存储优化的硬件实现方案,设计以verilog语言描述,通过了功能仿真和逻辑综合,最终实现的IP核能在0。

The conversion of RGB to YCbCr is realized by Verilog language and verified through FPGA,the correct result is gained.

在此,通过Verilog语言实现RGB到YCbCr色空间的转换,并通过FPGA进行了验证,得到正确的结果。

更多例句>>

6) Verilog-HDL language 点击朗读

Verilog-HDL语言

补充资料：操作语义

操作语义
operational semantics

式求值的抽象机器的模型，这个机器的存储区分成三部分:栈区st(用作工作区)，环境区:(保存数据向量等)，控制区。(保存程序)。整个存储区记作(、t，:，。)，称为抽象机器的一个大状态。这个抽象机器具有识别符号、完成算术和逻辑运算、转储信息、实现大状态之间的转移等基本功能。这个机器的大状态转移规则分为四类: (l)(st，s，(el叩eZ)/c)”(st，s，。;/。2/甲/。) (2)(st，:，碑/‘)冷(n/:t，:，。) (3)(st，s，x、/e)”(x、/sr，s，e) (4)(n/m/st，s，叩/e)=>(k/st，s，c)(k=m opn) 第一类规则表示，当控制区中待执行的程序要求完成表达式(。1叩eZ)的求值时，抽象机就转移自己的大状态，准备先求子表达式。l和e2的值，然后再按照相应的运算叩(+，一，X或其它算子)，求出整个表达式的值，符号“/”用于分割存放的信息。第二类规则表示，当求值的表达式是一个常量时，则其值就是抽象机中表示这个常量的相应的量(粗体用来区别语言中的符号和在抽象机中的相应表示)，表达式的值暂存于栈区。第三类规则表示，当表达式是一个变量时，其值就是环境区中相应单元的当前值，即第i个变量x‘的值就是数据向量s的第i个分量:、的值。第四类规则表示，当运算叩的两个操作数已经求得，则可按照抽象机中的相应运算求出op作用于操作数的结果。在这个抽象机中，表达式(x:X xZ)+l(在xl，xZ值为2和3时)的求值是由下述大状态的转移序列完成的，转移符号冷的上方标有实现这一转移依 0、，产、，声据的转移规则号，设:=(2，3，s((x;XxZ)+i)/。(s(1)冷(:t，、(x;XxZ)/1/+/。)岑(、‘，:，(二，/二2)又1/+/。)里(2/st，、，二2/又1/+/。)缪(3/2/st，:，x/1/、/。)军(6/、‘，、，l/+/。)里(l/6/::，:，+，/。) (4) 冷(7/:t，s，e) 这个抽象机正确刻画出算术表达式求值的全过程，故可作为算术表达式的操作语义。为定义赋值语句(x‘:二e)的操作语义，可在上述抽象机中添加如下转移规则: (5)(st，s，(x、:=e);/c)今(:t，s，e/x*:=/。) (6)(n/:t，:，吞:=/。)=>(st，:}in，。) 第五类规则表示，当抽象机执行(x‘:=。)时，先求出表达式仑的值，然后再给x*赋值。

说明：补充资料仅用于学习参考，请勿用于其它任何用途。

参考词条

硬件描述语言Verilog 类汇编VERILOG语言 VHDL/Verilog硬件描述语言 Verilog HDL Verilog-AHDL 语义

Verilog-A语言 Verilog硬件描述语言

说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
	您的位置：首页 -> 词典 -> Verilog语义 1) Verilog formal semantics Verilog语义 2) Verilog HDL Verilog HDL语言例句>> 3) verilog HDL Verilog语言 1. The paper realizes the design of SDXC matrix with Verilog HDL based on a improved unit architecture. 通过改进传统数字交叉连接矩阵的单元结构,详细介绍了基于Verilog语言的SDXC矩阵设计的一种新方法。更多例句>> 4) verilog Verilog语言 1. Moduling Component with Verilog Language; 使用Verilog语言建立器件模型 2. The RTL-level description of the algorithm by Verilog language is achieved. 为了使算法能够在FPGA上具体实现,文中对算法进行了改进,实现了直方图统计和均衡的并行执行,利用Verilog语言对算法进行了完全可综合的RTL级描述,在Linux系统上应用Ncverilog进行了编译仿真,并利用Synplify Pro8。更多例句>> 5) Verilog language Verilog语言 1. This paper introduces the basic principles of the DES encryption system,achieves the optimum FPGA reconstructing design on the DES with the help of giving the algorithm of DES encryption under the Verilog language and the C language conditions and the effective dealing with the key issues. 通过对DES加密原理的分析,推导出了DES的算法公式,通过对算法中核心部分的数学分析和化简,借助Verilog语言与C语言编程以及EDA设计软件的帮助,实现了DES算法的FPGA条件下的重构设计,同时对密钥的动态管理提出了新的设计方案。 2. In this paper, a memory optimizing implementation scheme is proposed and modeled using the verilog language for the purpose of applying JPEG2000 in real-time image processing. 为了使JPEG2000能用于实时图像处理,本文设计了存储优化的硬件实现方案,设计以verilog语言描述,通过了功能仿真和逻辑综合,最终实现的IP核能在0。 3. The conversion of RGB to YCbCr is realized by Verilog language and verified through FPGA,the correct result is gained. 在此,通过Verilog语言实现RGB到YCbCr色空间的转换,并通过FPGA进行了验证,得到正确的结果。更多例句>> 6) Verilog-HDL language Verilog-HDL语言补充资料：操作语义操作语义 operational semantics 式求值的抽象机器的模型，这个机器的存储区分成三部分:栈区st(用作工作区)，环境区:(保存数据向量等)，控制区。(保存程序)。整个存储区记作(、t，:，。)，称为抽象机器的一个大状态。这个抽象机器具有识别符号、完成算术和逻辑运算、转储信息、实现大状态之间的转移等基本功能。这个机器的大状态转移规则分为四类: (l)(st，s，(el叩eZ)/c)”(st，s，。;/。2/甲/。) (2)(st，:，碑/‘)冷(n/:t，:，。) (3)(st，s，x、/e)”(x、/sr，s，e) (4)(n/m/st，s，叩/e)=>(k/st，s，c)(k=m opn) 第一类规则表示，当控制区中待执行的程序要求完成表达式(。1叩eZ)的求值时，抽象机就转移自己的大状态，准备先求子表达式。l和e2的值，然后再按照相应的运算叩(+，一，X或其它算子)，求出整个表达式的值，符号“/”用于分割存放的信息。第二类规则表示，当求值的表达式是一个常量时，则其值就是抽象机中表示这个常量的相应的量(粗体用来区别语言中的符号和在抽象机中的相应表示)，表达式的值暂存于栈区。第三类规则表示，当表达式是一个变量时，其值就是环境区中相应单元的当前值，即第i个变量x‘的值就是数据向量s的第i个分量:、的值。第四类规则表示，当运算叩的两个操作数已经求得，则可按照抽象机中的相应运算求出op作用于操作数的结果。在这个抽象机中，表达式(x:X xZ)+l(在xl，xZ值为2和3时)的求值是由下述大状态的转移序列完成的，转移符号冷的上方标有实现这一转移依 0、，产、，声据的转移规则号，设:=(2，3，s((x;XxZ)+i)/。(s(1)冷(:t，、(x;XxZ)/1/+/。)岑(、‘，:，(二，/二2)又1/+/。)里(2/st，、，二2/又1/+/。)缪(3/2/st，:，x/1/、/。)军(6/、‘，、，l/+/。)里(l/6/::，:，+，/。) (4) 冷(7/:t，s，e) 这个抽象机正确刻画出算术表达式求值的全过程，故可作为算术表达式的操作语义。为定义赋值语句(x‘:二e)的操作语义，可在上述抽象机中添加如下转移规则: (5)(st，s，(x、:=e);/c)今(:t，s，e/x:=/。) (6)(n/:t，:，吞:=/。)=>(st，:}in，。) 第五类规则表示，当抽象机执行(x‘:=。)时，先求出表达式仑的值，然后再给x赋值。说明：补充资料仅用于学习参考，请勿用于其它任何用途。参考词条硬件描述语言Verilog 类汇编VERILOG语言 VHDL/Verilog硬件描述语言 Verilog HDL Verilog-AHDL 语义

©2011 dictall.com