An efficient algorithm for local don't care sets calculation

Authors:
Shih-Chieh Chang;Malgorzata Marek-Sadowska;Kwang-Ting Cheng
Affiliations:
Synopsys Inc.;Electrical and Computer Engineering Department, University of California at Santa Barbara;Electrical and Computer Engineering Department, University of California at Santa Barbara
Venue:
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Year:
1995

A topological search algorithm for ATPG

DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
The Transduction Method-Design of Logic Networks Based on Permissible Functions

IEEE Transactions on Computers
The use of observability and external don't cares for the simplification of multi-level networks

DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Perturb and simplify: multi-level boolean network optimizer

ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design
Sequential logic optimization by redundancy addition and removal

ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Maximum projections of don't care conditions in a Boolean network

ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Recursive Learning: An Attractive Alternative to the Decision Tree for Test Genration in Digital Circuits

Proceedings of the IEEE International Test Conference on Discover the New World of Test and Design

ATPG-based logic synthesis: an overview

Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design

Hi-index	0.00