Assisting Abstraction and Verification of Hardware Intellectual Property (IP) Modules - Couverture souple

Muhammad, Waseem

 
9786131500497: Assisting Abstraction and Verification of Hardware Intellectual Property (IP) Modules
Couverture souple
ISBN 10 : 6131500495 ISBN 13 : 9786131500497
Editeur : Éditions universitaires européennes, 2011

Synopsis

Hardware verification has become challenging due to growing complexity of today's designs. We aim at assisting verification of hardware intellectual properties (IP) at register transfer level by means of data abstraction and static formal analysis techniques. We intuitively define the "Control". The proposed definition was envisaged for separating Control and Data, independent of the subjective choice or the specific syntax. We have worked around a few semantic issues of the definition and demonstrated by reasoning. A control-data slicing algorithm is proposed to split the module into a control slice and a data slice. An abstraction is achieved in case of slicing with data-independent control. The bit accurate RTL data slice is replaced by a functional data computation model for fast simulations. The control slice being critical entity with timing information, remains intact during this process. We have proposed the notion of significance to represent the intentional data in IP modules. Significance is used to represent boolean data dependencies in modules for formal verification of the data flows.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

Hardware verification has become challenging due to growing complexity of today's designs. We aim at assisting verification of hardware intellectual properties (IP) at register transfer level by means of data abstraction and static formal analysis techniques. We intuitively define the "Control". The proposed definition was envisaged for separating Control and Data, independent of the subjective choice or the specific syntax. We have worked around a few semantic issues of the definition and demonstrated by reasoning. A control-data slicing algorithm is proposed to split the module into a control slice and a data slice. An abstraction is achieved in case of slicing with data-independent control. The bit accurate RTL data slice is replaced by a functional data computation model for fast simulations. The control slice being critical entity with timing information, remains intact during this process. We have proposed the notion of significance to represent the intentional data in IP modules. Significance is used to represent boolean data dependencies in modules for formal verification of the data flows.

Biographie de l'auteur

Cette livre contient l'information sur le projet et ma recherche du doctorat en informatiques.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Éditions universitaires européennes
Date d'édition
2011
Langue
anglais
ISBN 10 
6131500495
ISBN 13 
9786131500497
Reliure
Broché
Nombre de pages
144
Coordonnées du fabricant
non disponible
Personne responsable
Andreas Meier
22029659400
info@rheinberg-buch.de

De Gasperi str. 8
Bergisch gladbach
51427
Allemagne