当前位置:网站首页>HDL design peripheral tools to reduce errors and help you take off!
HDL design peripheral tools to reduce errors and help you take off!
2022-07-02 19:43:00 【Broken thoughts】
HDL Design peripheral tools , Reduce errors , Help you take off !
HDL Design is the foundation , After designing, it is necessary to use some tools to test your code , For example, simulation tools to verify the function of their own code . Today I will introduce several types of tools , All help HDL Design , These include : Code checker (Lint)、 Code coverage 、 Waveform design 、 State machine design and so on , Let's start !
Simulation
Simulation is HDL Modeling basis , All the hardware circuits that have been modeled need functional simulation first , First of all, let's introduce some simulation tools ( except EDA Simulation software other than those provided by the tool .)
NCVerilog
*http://www.cadence.com/

NC-Verilog by Cadence Company's Verilog Hardware description language simulator (simulator), Can help IC The designer verifies and simulates the design IC The function of . Use NC-Verilog software , Users must use Verilog The syntax of hardware description language is used to describe the circuit to be designed .
This is also the compiled simulator , Its running speed is similar to VCS As fast as , And still keep Verilog-XL Sign off function of . When it comes to gate level simulation , This simulator works well .
VCS
*http://www.synopsys.com/

This is the fastest simulator in the world , It's like NCverilog The same compiler emulator . The simulator is in RTL Faster simulation . Support SystemVerilog.
MPSim
*http://www.axiom-da.com/

Axiom Of MPSim It is an integrated verification environment , Automate the industry's fastest simulator and advanced test bench 、 Assertion based verification 、 Combining debugging with code coverage analysis . It's built-in with Vera Support .
Modelsim
*http://www.model.com/

This is the most popular simulator , It has a very good debugger , Support SystemC、Verilog、VHDL and SystemVerilog.
other
There are many relatively good simulation tools , But in the domestic environment ,VCS and Modelsim It's the majority , It's hard to change habits , So let's briefly introduce some others. See the table below :

Open source tools
There are relatively few open source applications , And it's open source , Poor maintenance and continuity , Also divided into Verilog and VHDL Version to introduce
Verilog edition

It's only recommended here Verilator(http://%20www.synapticad.com/)
VHDL edition

It's only recommended here GHDL
VCD Waveform viewer
nWave : first-class VCD One of the viewers , Support large VCD dump .
*http://www.springsoft.com/

Undertow:Undertow Waveform viewer .
*http://www.veritools-web.com/

GTKWave : Freeware VCD viewer , It seems to be more free than others VCD The viewer is much better .
*http://www.geocities.com/SiliconValley/Campus/3216/GTKWave/gtkwave-win32.html
Dinotrace : come from veritools The free VCD viewer
*http://www.veripool.com/
Code coverage
Verification Navigator
*http://www.transeda.com/
An integrated design verification environment , Can be managed through a powerful set of first-class tools HDL Verification process , So as to achieve consistency 、 Easy to use and efficient verification method . These tools include HDL Check 、 Coverage analysis 、 Test suite analysis and FSM analysis . The environment includes an extensible process manager , Used to easily merge custom validation processes .Verification Navigator Support Verilog、VHDL And mixed language design , And seamlessly integrate with all leading simulation environments .
SureCov
*http://www.verisity.com/
Design chips and semiconductors today IP The kernel engineering team needs to confidently understand how well the functional test suite performs the design .Verisity Of SureCov Measure with the lowest simulation overhead of any available tool FSM And code coverage , And there is no need to change the source design .SureSight The graphical user interface accurately shows which parts of the design have been covered , Which don't have .
Code Coverage Tool
*http://covered.sourceforge.net/

Free software code coverage tool .Code Coverage Tool It's a kind of Verilog Code coverage analysis tool , It can be used to determine the coverage of test documents to the tested design .
Lint Code checker
Leda:
*http://www.synopsys.com/

Is a code checking tool , Suitable for use Verilog and VHDL Hardware description language (HDL) Designer .Leda Have the ability to analyze HDL The unique ability of code pre synthesis and pre simulation , And it is fully compatible with all popular synthesis and simulation tools and processes . Through the analysis of language grammar 、 Semantics and problematic synthesis / Simulation structure 500 Automation of multiple design checks ,Leda Detect common and subtle and difficult to find code defects , So that designers can focus on design .
HDLint
*http://www.veritools.com/
be used for VHDL and Verilog Powerful and complete linting Tools .
nLint
*http://www.springsoft.com/
nLint It's a comprehensive one HDL Design rule checker , And Debussy The commissioning system is fully integrated .
SureLint
*http://www.verisity.com/
Designers need tools to analyze and debug their designs , Then integrate with the rest of the project .SureLint Provide finite state machines (FSM) analysis 、 Competitive testing and many additional checks , It is the most complete in the market lint Tools .
Utilities
FSMDesigner
*http://mufasa.informatik.uni-mannheim.de/lsra/projects/fsmdes
FSMDesigner It's based on Java Finite state machines (FSM) Editor , It allows hardware designers to specify complex control circuits in a simple and comfortable way . Integrated hardware description language (HDL) generator , Use Simple-Moore FSM Pattern , Ensure efficient, fast and complex control flow , Provide a graphical design interface .
TimeGen
*http://www.xfusionsoftware.com/

TimeGen It is a kind of Engineering CAD Tools , It enables digital design engineers to draw digital sequence diagrams quickly and effectively . Waveforms can be easily exported to other Window Program , for example Microsoft Word, Used to write design specifications . Compared with other tools ,TimeGen It's cheaper .
Waveformer
*http://www.synapticad.com/
Tools for drawing waveforms , For documentation purposes .
Timing Tool
*http://www.timingtool.com/
TimingTool Is a free online sequence diagram editor . This tool provides a very good VHDL and Verilog Test platform , No need to download or install .
Perlilog
*https://opencores.org/projects/perlilog

Perlilog It is a design tool , Its main goal is for system on chip (SoC) Design easy integration Verilog IP kernel .Perilog The idea behind it is IP The core should be like a black box . Installing it for a specific purpose should be as easy as defining the required requirements . Connection core , Become a system , It should be as simple as drawing a frame .Perlilog Yes, it is Perl Compiling , Not yet GUI. Although the scripts included in the system are quite complex , But using its scripting function only requires simple Perl knowledge .
summary
Recommended some gadgets , It is convenient for everyone to write HDL Used to detect defects in code 、 Errors, etc , The tool will be continuously updated later , Especially like Linting(Verilog/SV Code checker -Lint Modeling rule checker and Verilator) This kind of tool used less in China , It's very powerful ( Follow up SystemVerilog I will introduce some hidden transformations of code , Hide case conversion and so on , These places will not be noticed in the design - Especially for beginners ), The main reason is that the tool will give the detailed location and cause of the error when checking the code , There are some FPGA The tool synthesis will not give so detailed error instructions , Some videos will be released later to introduce these tools , At the same time, the introduction of such tools will be added , I hope you will continue to pay attention .
Linux Next Vivado Installation tutorial
Verilog/SV Code checker -Lint Modeling rule checker and Verilator
边栏推荐
- Dictionaries
- 安装单机redis详细教程
- Zabbix5 client installation and configuration
- AcWing 1128. 信使 题解(最短路—Floyd)
- Understanding and function of polymorphism
- AcWing 1127. Sweet butter solution (shortest path SPFA)
- 字典
- KT148A语音芯片ic的开发常见问题以及描述
- A4988 drive stepper motor "recommended collection"
- Gmapping code analysis [easy to understand]
猜你喜欢
KS004 基于SSH通讯录系统设计与实现
安装单机redis详细教程
高并发下如何避免产生重复数据?
《MongoDB入门教程》第03篇 MongoDB基本概念
Istio部署:快速上手微服务,
ShardingSphere-JDBC5.1.2版本关于SELECT LAST_INSERT_ID()本人发现还是存在路由问题
Introduction to mongodb chapter 03 basic concepts of mongodb
JASMINER X4 1U深度拆解,揭开高效省电背后的秘密
Zabbix5 client installation and configuration
Reading notes of "the way to clean structure" (Part 2)
随机推荐
JASMINER X4 1U深度拆解,揭开高效省电背后的秘密
股票证券公司排名,有安全保障吗
Dictionaries
多端小程序开发有什么好处?覆盖百度小程序抖音小程序微信小程序开发,抢占多平台流量红利
Automatically generate VGg image annotation file
LeetCode 0871.最低加油次数 - 类似于POJ2431丛林探险
中缀表达式转换为后缀表达式(C语言代码+详解)
Educational codeforces round 129 (rated for Div. 2) supplementary problem solution
Implementation of 453 ATOI function
LeetCode 0871. Minimum refueling times - similar to poj2431 jungle adventure
Think about the huge changes caused by variables
MySQL function
Gmapping code analysis [easy to understand]
Codeforces Round #802 (Div. 2) 纯补题
KT148A语音芯片ic的硬件设计注意事项
AcWing 181. Turnaround game solution (search ida* search)
Cuckoo filter
编写完10万行代码,我发了篇长文吐槽Rust
zabbix5客户端安装和配置
pxe装机「建议收藏」