Zijn er bepaalde pluisvrije tools voor vera of e?

[wadaye]

Zijn er bepaalde pluisvrije tools voor vera of e?Behalve het compileren instrumenten uit

syn0psys en veris1ty?Hoe zit het met de snelheid, als het antwoord ja is.

wang1

 

[spauls]

Linting is slechts een te controleren vooraf logische verbindingen en havens om te voorkomen dat pre-en post-synthese synthese simulaties mis match, i dont think so er een tool voor e avilable en Vera, als een niet te synthetiseren vera / e code.

 

[wadaye]

spauls schreef:

Linting is slechts een te controleren vooraf logische verbindingen en havens om te voorkomen dat pre-en post-synthese synthese simulaties mis match, i dont think so er een tool voor e avilable en Vera, als een niet te synthetiseren vera / e code.