A general decomposition strategy for verifying register renaming

Faculty	Engineering	Year:	2004
Type of Publication:	ZU Hosted	Pages:
Authors:	Hazem Ibrahiem Elsayed Abdelaziz Shehata Staff Zu Site Abstract In Staff Site
Journal:	Design Automation Conference, 2004. Proceedings. 41st Design Automation Conference, 2004. Proceedings. 41st	Volume:

Keywords :	, general decomposition strategy , verifying register renaming
Abstract:	This paper describes a strategy for verifying data-hazard correctness of out-of-order processors that implement register-renaming. We define a set of predicates to characterize register-renaming techniques and provide a set of model-chec