Initializability analysis of synchronous sequential circuits

Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Giovanni Squillero. Initializability analysis of synchronous sequential circuits. ACM Trans. Design Autom. Electr. Syst., 7(2):249-264, 2002. [doi]

Authors

Fulvio Corno

This author has not been identified. Look up 'Fulvio Corno' in Google

Paolo Prinetto

This author has not been identified. Look up 'Paolo Prinetto' in Google

Maurizio Rebaudengo

This author has not been identified. Look up 'Maurizio Rebaudengo' in Google

Matteo Sonza Reorda

This author has not been identified. Look up 'Matteo Sonza Reorda' in Google

Giovanni Squillero

This author has not been identified. Look up 'Giovanni Squillero' in Google