Welcome to EDAboard.com

Welcome to our site! EDAboard.com is an international Electronics Discussion Forum focused on EDA software, circuits, schematics, books, theory, papers, asic, pld, 8051, DSP, Network, RF, Analog Design, PCB, Service Manuals... and a whole lot more! To participate you need to register. Registration is free. Click here to register now.

Are there some lint tools for vera or e?

Status
Not open for further replies.

wadaye

Full Member level 4
Joined
Jun 18, 2004
Messages
213
Helped
12
Reputation
24
Reaction score
2
Trophy points
1,298
Activity points
1,906
Are there some lint tools for vera or e? Except the compile tools from

syn0psys and veris1ty? How about the speed, if the answer is yes.

wang1
 

spauls

Advanced Member level 2
Joined
Dec 17, 2002
Messages
524
Helped
26
Reputation
52
Reaction score
9
Trophy points
1,298
Activity points
3,354
Linting is only one to check pre logical connections and ports in order to avoid pre synthesis and post synthesis simulations mis match, i dont think so there is any tool avilable for e and vera, as one is not going to synthesize vera/e code.
 

wadaye

Full Member level 4
Joined
Jun 18, 2004
Messages
213
Helped
12
Reputation
24
Reaction score
2
Trophy points
1,298
Activity points
1,906
spauls said:
Linting is only one to check pre logical connections and ports in order to avoid pre synthesis and post synthesis simulations mis match, i dont think so there is any tool avilable for e and vera, as one is not going to synthesize vera/e code.

Hi spauls:

You can use lint tool not only for syhthesis tools, you can also use lint

tool for simulation, dft like nLint , Leda does.

And I asked the syn0psys Application Consultant, he just not sure.
 

Status
Not open for further replies.

Part and Inventory Search

Welcome to EDABoard.com

Sponsor

Top