Identification of Inductive Properties during Verification of Synchronous Sequestial Circuits

Authors
I.Chakrabarti,D.Sarkar,A.K.Majumdar
Citation
I.chakrabarti,d.sarkar,a.k.majumdar, Identification of Inductive Properties during Verification of Synchronous Sequestial Circuits, Journal of automated reasoning , 14(3), 1995, pp. 427-462
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
14
Issue
3
Year of publication
1995
Pages
427 - 462
Database
ACNP
SICI code