在线咨询
eetop公众号 创芯大讲堂 创芯人才网
切换到宽版

EETOP 创芯网论坛 (原名:电子顶级开发网)

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 23302|回复: 139

可综合verilog语法下载

[复制链接]
发表于 2008-3-22 13:38:23 | 显示全部楼层 |阅读模式

马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。

您需要 登录 才可以下载或查看,没有账号?注册

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 speci es 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 de ne sequence of bigger and bigger
subsets (V1, V2 etc.) that will converge to the version of Verilog used in the
VFE project2 at Cambridge.
Di erent tools interpret Verilog di erently: 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
de ning what it means to check the equivalence between behavioral proto-
types and synthesized logic.。。。。。

可综合verilog.rar

292.49 KB, 下载次数: 576 , 下载积分: 资产 -2 信元, 下载支出 2 信元

可综合verilog语法的详细分析,剑桥大学

发表于 2008-3-25 22:47:26 | 显示全部楼层
好东西,先顶一个
发表于 2008-4-5 11:50:36 | 显示全部楼层
以前下过,唉
发表于 2008-4-5 11:52:03 | 显示全部楼层
资料太多,总是下重复的,
发表于 2008-4-6 21:55:03 | 显示全部楼层
Thanks for that!
发表于 2008-4-17 03:22:40 | 显示全部楼层
Thanks for Sharing
发表于 2008-4-17 10:07:05 | 显示全部楼层
qqqqqqq
发表于 2008-4-17 10:08:11 | 显示全部楼层
already have
发表于 2008-4-19 16:52:22 | 显示全部楼层
好东西就是要顶
发表于 2008-5-4 08:28:33 | 显示全部楼层
感覺挺不錯的東西
感謝分享囉
可以綜合verilog語法
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

站长推荐 上一条 /2 下一条

×

小黑屋| 关于我们| 联系我们| 在线咨询| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2024-5-17 15:56 , Processed in 0.031822 second(s), 12 queries , Gzip On, Redis On.

eetop公众号 创芯大讲堂 创芯人才网
快速回复 返回顶部 返回列表