Refactoring digital hardware designs with assertion libraries

Authors:
F. M. De Paula;H. Foster;J. A. Nacif;J. Tompkins;A. O. Fernandes
Affiliations:
Mindspeed Technol. Inc., USA;IBM Res. Lab., Haifa, Israel;IBM Res. Lab., Haifa, Israel;IBM Haifa Res. Labs., Israel;-
Venue:
HLDVT '03 Proceedings of the Eighth IEEE International Workshop on High-Level Design Validation and Test Workshop
Year:
2003

Citing 14
Cited 0

Object-oriented modeling and design

Object-oriented modeling and design
Object-oriented analysis and design with applications (2nd ed.)

Object-oriented analysis and design with applications (2nd ed.)
Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Equivalence checking of datapaths based on canonical arithmetic expressions

DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
I'm done simulating; now what? Verification coverage analysis and correctness checking of the DEC chip 21164 Alpha microprocessor

DAC '96 Proceedings of the 33rd annual Design Automation Conference
An efficient equivalence checker for combinational circuits

DAC '96 Proceedings of the 33rd annual Design Automation Conference
Proving circuit correctness using formal comparison between expected and extracted behaviour

DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
Specification and development of interactive systems: focus on streams, interfaces, and refinement

Specification and development of interactive systems: focus on streams, interfaces, and refinement
Principles of Verifiable RTL Design

Principles of Verifiable RTL Design
Evolving legacy system features into fine-grained components

Proceedings of the 24th International Conference on Software Engineering
Refinement of Pipe-and-Filter Architectures

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Introduction to a Computational Theory and Implementation of Sequential Hardware Equivalence

CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
Assertion-Based Design

Assertion-Based Design
Refactoring for software migration

IEEE Communications Magazine

Quantified Score

Hi-index	0.00

Visualization

Abstract

Refactoring is the concept of restructuring software to increase its readability and maintainability without changing the observable behavior: To the best of our knowledge, the concept of refactoring has only been applied to software development. In this paper, we describe a methodology to extend this concept into the Digital Hardware Design process using the Open Verification Library. We present a case of a network protocol bus functional model in which we want to increase the design readability so that maintenance and bug fixes are less costly.