Identification of inductive properties during verification of synchronous sequential circuits I. ChakrabartiD. SarkarA. K. Majumdar OriginalPaper Pages: 427 - 462