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.
['Jalal A. Wahbeh', 'Daniel G. Saab']
On the initialization of sequential circuits