On the initialization of sequential circuits

Authors:
Jalal A. Wahbeh;Daniel G. Saab
Affiliations:
International Business Machines Corp., East-Fishkill Facility, Hopewell Junction, NY;Center For Reliable and High Performance Computing, University of Illinois at Urbana Champaign, Urbana, IL
Venue:
ITC'94 Proceedings of the 1994 international conference on Test
Year:
1994

Citing 6
Cited 0

Introduction to algorithms

Introduction to algorithms
Initializability Consideration in Sequential Machine Synthesis

IEEE Transactions on Computers
Exact calculation of synchronization sequences based on binary decision diagrams

DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Minimum length synchronizing sequences of finite state machine

DAC '93 Proceedings of the 30th international Design Automation Conference
Hierarchical Simulation of MOS Circuits Using Extracted Functional Models

ICCD '92 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors
Introduction to a Computational Theory and Implementation of Sequential Hardware Equivalence

CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification

Quantified Score

Hi-index	0.00

Visualization

Abstract

A general method for determining whether a certain design is initializable, and for generating its initialization sequence, is presented. This method is based on structural decomposition of the circuit, and can handle both logical (using X-value simulation) and functional initializabilities. Results for some benchmark circuits are also presented.