equivalence checking & testing for soDLA
In yosys
read_verilog target.v
opt_clean -purge
equiv_make gold gate equiv
hierarchy -top equiv
clean -purge; show
equiv_induct or equiv_simple
equiv_status assert
TODO
forked from redpanda3/soDLA_equi
-
Notifications
You must be signed in to change notification settings - Fork 0
equivalence checking for soDLA
License
Unknown, BSD-3-Clause licenses found
Licenses found
Unknown
LICENSE.NVDLA
BSD-3-Clause
LICENSE.soDLA
bg193/soDLA_equi
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
equivalence checking for soDLA
Resources
License
Unknown, BSD-3-Clause licenses found
Licenses found
Unknown
LICENSE.NVDLA
BSD-3-Clause
LICENSE.soDLA
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- Verilog 81.2%
- Scala 18.8%