v2c - A Verilog to C Translator

View/Open

Accepted version
Embargoed until: 5555-01-01
Reason: Publisher won't allow use of book materials

Pagination

580 - 586

Publisher URL

http://dx.doi.org/10.1007/978-3-662-49674-9_38

DOI

10.1007/978-3-662-49674-9_38

Metadata

Show full item record

Authors

Mukherjee, R; Tautschnig, M; Kroening, D; Tools and Algorithms for the Construction and Analysis of Systems

URI

http://qmro.qmul.ac.uk/xmlui/handle/123456789/13690

Collections

Electronic Engineering and Computer Science [3619]

Licence information

“The final publication is available at http://link.springer.com/chapter/10.1007/978-3-662-49674-9_38”