Towards Equivalence Checking Between TLM and RTL Models

Bombieri, N., Fummi, F., Pravadelli, G. and Marques-Silva, J. (2007) Towards Equivalence Checking Between TLM and RTL Models. In: Fifth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), May 2007, Nice, France. pp. 113-122.

Download

Preview

PDF Available under License Creative Commons Attribution Non-commercial No Derivatives. 244Kb

Item Type:	Conference or Workshop Item
Creator/Authors:	Nicola Bombieri Franco Fummi Graziano Pravadelli Joao Marques-Silva
Research Group:	Old ECS Groups > Dependable Systems and Software Engineering Research Group
Date:	May 2007
Information about this record:
Performance Indicator:	EZ~04~01~04
Citations:	Google Scholar: 10
Downloads (2010):	64
ID Code:	13822
Last Modified:	23 Sep 2011 10:34
Deposited On:	01 Apr 2007 by Marques-Silva, Joao

Tools & Metadata

Download Statistics

Members of ECS may view the download statistics dashboard for this record.

Corrections

ECS staff and postgraduates may modify this record