Formal Verification of Hardware Synthesis
Original manuscript: January 21, 2013
Main Authors: | , |
---|---|
Other Authors: | |
Format: | Article |
Language: | en_US |
Published: |
Springer-Verlag
2014
|
Online Access: | http://hdl.handle.net/1721.1/86044 https://orcid.org/0000-0001-7085-9417 |