|
马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。
您需要 登录 才可以下载或查看,没有账号?注册
x
Synthesizable Verilog is a subset of the full Verilog HDL [9] that lies within
the domain of current synthesis tools (both RTL and behavioral).
This document species a subset of Verilog called V0.1 This subset is intended
as a vehicle for the rapid prototyping of ideas.
The method chosen for developing a semantics of all of synthesizable Verilog
is to start with something too simple { V0 { and then only to make it more
complicated when the simple semantics breaks. This way it is hoped to avoid
unnecessary complexity. It is planned to dene sequence of bigger and bigger
subsets (V1, V2 etc.) that will converge to the version of Verilog used in the
VFE project2 at Cambridge.
Dierent tools interpret Verilog dierently: industry standard simulators like
Cadence's Verilog XL are based on the scheduling of events. Synthesizers and
cycle-simulators are based on a less detailed clocked register transfer level
(RTL) semantics.
It is necessary to give an explicit semantics to Verilog to provide a basis for
dening what it means to check the equivalence between behavioral proto-
types and synthesized logic.。。。。。 |
-
-
可综合verilog.rar
292.49 KB, 下载次数: 576
, 下载积分:
资产 -2 信元, 下载支出 2 信元
可综合verilog语法的详细分析,剑桥大学
|