Formally verified redundancy removal

Authors:
Stefan Hendricx;Luc Claesen
Affiliations:
IMEC vzw/Katholieke Universiteit Leuven, Heverlee, Belgium;IMEC vzw/Katholieke Universiteit Leuven, Heverlee, Belgium
Venue:
DATE '99 Proceedings of the conference on Design, automation and test in Europe
Year:
1999

Citing 2
Cited 1

Graph-Based Algorithms for Boolean Function Manipulation

IEEE Transactions on Computers
Verification of large synthesized designs

ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design

Matching in the presence of don't cares and redundant sequential elements for sequential equivalence checking

HLDVT '03 Proceedings of the Eighth IEEE International Workshop on High-Level Design Validation and Test Workshop

Quantified Score

Hi-index	0.02

Visualization

Abstract