A general decomposition strategy for verifying register renaming

Conference proceeding

Hazem I Shehata, Mark D Aagaard and ACM

41ST DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2004, pp.234-237

Design automation conference (proceedings 2004)

2004

Abstract

Applied sciences

Design. Technologies. Operation analysis. Testing

Electronics

Exact sciences and technology

Integrated circuits

Integrated circuits by function (including memories and processors)

Semiconductor electronics. Microelectronics. Optoelectronics. Solid state devices

1 Record Views

Title: A general decomposition strategy for verifying register renaming
Creators - without role: Hazem I Shehata - University of Waterloo
Mark D Aagaard - University of Waterloo
ACM
Publication Details: 41ST DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2004, pp.234-237
Conference: Design automation conference (proceedings 2004)
Publisher: Association for Computing Machinery
Identifiers: 9929324908331
Academic Unit: Shaqra University
Language: English
Resource Type: Conference proceeding