Towards Equivalence Checking Between TLM and RTL Models
Towards Equivalence Checking Between TLM and RTL Models
113-122
Bombieri, Nicola
ab4086ac-2862-4261-8f9f-2fd0a8602e3e
Fummi, Franco
8e5b431b-8dad-48da-aa5b-735ed8d4fc36
Pravadelli, Graziano
1fd15568-981a-46b0-9b32-1355345e770c
Marques-Silva, Joao
f992f61f-cedd-4897-9f73-1a3ac7ebb35c
May 2007
Bombieri, Nicola
ab4086ac-2862-4261-8f9f-2fd0a8602e3e
Fummi, Franco
8e5b431b-8dad-48da-aa5b-735ed8d4fc36
Pravadelli, Graziano
1fd15568-981a-46b0-9b32-1355345e770c
Marques-Silva, Joao
f992f61f-cedd-4897-9f73-1a3ac7ebb35c
Bombieri, Nicola, Fummi, Franco, Pravadelli, Graziano and Marques-Silva, Joao
(2007)
Towards Equivalence Checking Between TLM and RTL Models.
Fifth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), Nice, France.
.
Record type:
Conference or Workshop Item
(Paper)
Text
jpms-memocode07.pdf
- Other
Available under License Other.
More information
Published date: May 2007
Additional Information:
Event Dates: May 2007
Venue - Dates:
Fifth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), Nice, France, 2007-05-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 263822
URI: http://eprints.soton.ac.uk/id/eprint/263822
PURE UUID: d4ab45d1-f740-4aea-8454-7e108bfe6c86
Catalogue record
Date deposited: 01 Apr 2007
Last modified: 14 Mar 2024 07:38
Export record
Contributors
Author:
Nicola Bombieri
Author:
Franco Fummi
Author:
Graziano Pravadelli
Author:
Joao Marques-Silva
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics