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

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

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 16518|回复: 69

[原创] Aldec ALINT v2008.06 for "2K/XP/Vista" Verilog 语法的设计规则检验器

[复制链接]
发表于 2010-1-14 00:42:32 | 显示全部楼层 |阅读模式

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

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

x
本帖最后由 900200 于 2010-1-14 00:45 编辑

ALINT是一个高度优化的verilog语法的设计规则检查软件。
它包括一套完整的starc的设计风格,指导规则,以方便您在下次的asic/FPGA设计中使用。


PS. I use the WINRAR 3.90 beta 5 to compress the files







ALINT 2008.06, from Aldec, compares Verilog source code against 195 design rules based on STARC 2006. ALINT gives engineers instant feedback on structural, coding and consistency problems early in the design verification cycle. New enhancements to ALINT 2008.06 include the addition of 15 new STARC rules, a new GUI including an advanced violation viewer, configuration manager and dedicated Clock Domain Crossing (CDC) rule-sets. ALINT is available today and includes the Violation Viewer, Configuration Manager, hdl Editor, 195 STARC based design rules and lint engine.

ALINT 2008.06 includes new optimization of expressions for synthesis emulation, such as Boolean, arithmetic and RTL expression optimizations. In addition, new support for netlists, including vector output for block and chip level netlists and additional modeling extensions, have been added.

Features

Optimization of Clock Domain Crossing (CDC)
ALINT offers a comprehensive solution for clock and reset analysis, detecting potential clock domain crossing (CDC) issues. Combinational logic between asynchronous clock domains can lead to metastable conditions, and metastable conditions lead to circuit malfunctioning. ALINT detects whether or not the designer located combinational logic between asynchronous clock domains. Clock violations can be detected early in the verification process, aiding with clock line balancing, timing analysis and correct clock data.
Advanced Violation Viewer
ALINT includes a standalone application, the Violation Viewer, which enables engineers to view all violations that occur in source code and cross-probe to any HDL editor. Double-clicking on any violation reported in the violation viewer cross-probes directly to the line of Verilog source code that caused the violation. All violations are sorted by their type — files, modules, rule-sets, or rules — and are printable. Rules and rule descriptions are displayed in association with each violation. A summary of all violations can be viewed within the violation viewer at all times.
Configuration Management
A flexible rule configuration mechanism, the Configuration Manager, enables engineers to use existing pre-defined rule-sets and policies, or to create custom rule-sets by using the “Add Custom Rule-Set” feature, selecting or de-selecting rules from the master list of 195 STARC based design rules. Rules can be combined together in different ways by simple drag and drop within the configuration manager to form rule-sets and policies that are treated by ALINT as a single object. The rule, rule description, rule-set and policy properties can be easily configured, providing additional flexibility in design analysis.
alint1.png

Aldec.ALINT.v2008.06 with crack.part19.rar

3.4 MB, 下载次数: 175 , 下载积分: 资产 -2 信元, 下载支出 2 信元

Aldec.ALINT.v2008.06 with crack.part01.rar

4.88 MB, 下载次数: 359 , 下载积分: 资产 -3 信元, 下载支出 3 信元

Aldec.ALINT.v2008.06 with crack.part02.rar

4.88 MB, 下载次数: 531 , 下载积分: 资产 -3 信元, 下载支出 3 信元

Aldec.ALINT.v2008.06 with crack.part03.rar

4.88 MB, 下载次数: 229 , 下载积分: 资产 -3 信元, 下载支出 3 信元

Aldec.ALINT.v2008.06 with crack.part04.rar

4.88 MB, 下载次数: 289 , 下载积分: 资产 -3 信元, 下载支出 3 信元

Aldec.ALINT.v2008.06 with crack.part05.rar

4.88 MB, 下载次数: 753 , 下载积分: 资产 -3 信元, 下载支出 3 信元

Aldec.ALINT.v2008.06 with crack.part06.rar

4.88 MB, 下载次数: 2415 , 下载积分: 资产 -3 信元, 下载支出 3 信元

Aldec.ALINT.v2008.06 with crack.part07.rar

4.88 MB, 下载次数: 234 , 下载积分: 资产 -3 信元, 下载支出 3 信元

Aldec.ALINT.v2008.06 with crack.part08.rar

4.88 MB, 下载次数: 557 , 下载积分: 资产 -3 信元, 下载支出 3 信元

Aldec.ALINT.v2008.06 with crack.part09.rar

4.88 MB, 下载次数: 459 , 下载积分: 资产 -3 信元, 下载支出 3 信元

Aldec.ALINT.v2008.06 with crack.part10.rar

4.88 MB, 下载次数: 2477 , 下载积分: 资产 -3 信元, 下载支出 3 信元

Aldec.ALINT.v2008.06 with crack.part11.rar

4.88 MB, 下载次数: 2246 , 下载积分: 资产 -3 信元, 下载支出 3 信元

Aldec.ALINT.v2008.06 with crack.part12.rar

4.88 MB, 下载次数: 2513 , 下载积分: 资产 -3 信元, 下载支出 3 信元

Aldec.ALINT.v2008.06 with crack.part13.rar

4.88 MB, 下载次数: 558 , 下载积分: 资产 -3 信元, 下载支出 3 信元

Aldec.ALINT.v2008.06 with crack.part14.rar

4.88 MB, 下载次数: 2377 , 下载积分: 资产 -3 信元, 下载支出 3 信元

Aldec.ALINT.v2008.06 with crack.part15.rar

4.88 MB, 下载次数: 602 , 下载积分: 资产 -3 信元, 下载支出 3 信元

Aldec.ALINT.v2008.06 with crack.part16.rar

4.88 MB, 下载次数: 2256 , 下载积分: 资产 -3 信元, 下载支出 3 信元

Aldec.ALINT.v2008.06 with crack.part17.rar

4.88 MB, 下载次数: 2096 , 下载积分: 资产 -3 信元, 下载支出 3 信元

Aldec.ALINT.v2008.06 with crack.part18.rar

4.88 MB, 下载次数: 494 , 下载积分: 资产 -3 信元, 下载支出 3 信元

Aldec.ALINT.v2008.06 with crack.part19.rar

4.79 MB, 下载次数: 278 , 下载积分: 资产 -3 信元, 下载支出 3 信元

发表于 2010-1-14 10:19:36 | 显示全部楼层
Active-Hdl里面包括这个功能了吗
发表于 2010-1-14 14:26:19 | 显示全部楼层
thanks
发表于 2010-2-26 12:53:45 | 显示全部楼层
谢谢了
发表于 2010-2-26 14:41:01 | 显示全部楼层
thanks
发表于 2010-3-2 11:22:48 | 显示全部楼层
thanks for your sharing, you are good man
发表于 2010-4-26 17:55:59 | 显示全部楼层
谢谢了,但是没钱
发表于 2010-6-9 02:40:34 | 显示全部楼层
想要可是沒錢啊啊啊
发表于 2010-6-9 09:50:45 | 显示全部楼层
谢谢分享
发表于 2010-6-23 13:53:33 | 显示全部楼层
thanks!!!
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

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

×

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

GMT+8, 2024-3-29 15:47 , Processed in 0.075490 second(s), 8 queries , Gzip On, Redis On.

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