Skip to content

equivalence checking for soDLA

License

Unknown, BSD-3-Clause licenses found

Licenses found

Unknown
LICENSE.NVDLA
BSD-3-Clause
LICENSE.soDLA
Notifications You must be signed in to change notification settings

bg193/soDLA_equi

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

soDLA Equivalence Check & Unittest

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

Risk Assessment

TODO

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

No packages published

Languages

  • Verilog 81.2%
  • Scala 18.8%