On the initialization of sequential circuits
J.A. Wahbeh, Daniel G. Saab · 2002
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.