Formal Verification of SystemC by Automatic Hardware/Software Partitioning
Daniel Kroening and Natasha Sharygina
Details
| Book Title |
Proceedings of MEMOCODE 2005 |
| Pages |
101–110 |
| Publisher |
IEEE |
| Year |
2005 |
Links
Related pages
|
People |
|
|
Activities |
|
|
Themes |