Hardware verification using software analyzers
Program analysis is a highly active area of research, and the capacity and precision of software analyzers is improving rapidly. We investigate the use of modern software verification tools for formal property checking of hardware given in Verilog at register-transfer level. To this end, we translat...
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
IEEE
2015
|