当前位置:网站首页>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
边栏推荐
- Correspondence between pytoch version, CUDA version and graphics card driver version
- pxe装机「建议收藏」
- 《MongoDB入门教程》第03篇 MongoDB基本概念
- 450 Shenxin Mianjing 1
- KT148A语音芯片ic的硬件设计注意事项
- Istio1.12: installation and quick start
- Bubble sort array
- 452-strcpy、strcat、strcmp、strstr、strchr的实现
- JS how to get integer
- Horizontal ultra vires and vertical ultra vires [easy to understand]
猜你喜欢
Kt148a voice chip IC software reference code c language, first-line serial port
Educational codeforces round 129 (rated for Div. 2) supplementary problem solution
Py之interpret:interpret的简介、安装、案例应用之详细攻略
Detailed tutorial on installing stand-alone redis
Implementation of online shopping mall system based on SSM
Idea editor removes SQL statement background color SQL statement warning no data sources are configured to run this SQL And SQL dialect is not config
450-深信服面经1
Istio1.12: installation and quick start
AcWing 903. 昂贵的聘礼 题解(最短路—建图、dijkstra)
Registration opportunity of autowiredannotationbeanpostprocessor in XML development mode
随机推荐
Golang concurrent programming goroutine, channel, sync
Introduction of Ethernet PHY layer chip lan8720a
Windows2008R2 安装 PHP7.4.30 必须 LocalSystem 启动应用程序池 不然500错误 FastCGI 进程意外退出
AcWing 383. Sightseeing problem solution (shortest circuit)
Zabbix5 client installation and configuration
字典
Codeworks round 802 (Div. 2) pure supplementary questions
Kt148a voice chip IC software reference code c language, first-line serial port
KT148A语音芯片ic的软件参考代码C语言,一线串口
Py之interpret:interpret的简介、安装、案例应用之详细攻略
AcWing 342. 道路与航线 题解 (最短路、拓扑排序)
MySQL表历史数据清理总结
冒泡排序数组
蓝牙芯片ble是什么,以及该如何选型,后续技术发展的路径是什么
AcWing 342. Road and route problem solving (shortest path, topological sorting)
A4988 drive stepper motor "recommended collection"
Istio1.12:安装和快速入门
AcWing 1134. Shortest circuit counting problem solution (shortest circuit)
MySQL function
JS how to get integer