{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T00:06:31Z","timestamp":1759190791120,"version":"3.44.0"},"reference-count":11,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Integration"],"published-print":{"date-parts":[[1999,1]]},"DOI":"10.1016\/s0167-9260(98)00014-5","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T08:27:58Z","timestamp":1027585678000},"page":"33-46","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":6,"title":["Establishing latch correspondence for sequential circuits using distinguishing signatures"],"prefix":"10.1016","volume":"27","author":[{"given":"Janett","family":"Mohnke","sequence":"first","affiliation":[]},{"given":"Paul","family":"Molitor","sequence":"additional","affiliation":[]},{"given":"Sharad","family":"Malik","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0167-9260(98)00014-5_BIB1","doi-asserted-by":"crossref","unstructured":"K.S. Brace, R.L. Rudell, R.E. Bryant, Efficient implementation of a BDD package, Proc. 27th ACM\/IEEE Design Automation Conf. June 1990, pp. 40\u201345.","DOI":"10.1145\/123186.123222"},{"key":"10.1016\/S0167-9260(98)00014-5_BIB2","doi-asserted-by":"crossref","unstructured":"R.E. Bryant, Graph-based algorithms for boolean function manipulation, IEEE Trans. Comput. C-35 (1986) 677\u2013691.","DOI":"10.1109\/TC.1986.1676819"},{"key":"10.1016\/S0167-9260(98)00014-5_BIB3","doi-asserted-by":"crossref","unstructured":"D.I. Cheng, M. Marek Sadowska, Verifying equivalence of functions with unknown input correspondence, Proc. EDAC, February 1993, pp. 81\u201385.","DOI":"10.1109\/EDAC.1993.386496"},{"key":"10.1016\/S0167-9260(98)00014-5_BIB4","doi-asserted-by":"crossref","unstructured":"E.M. Clarke, K.L. McMillan, X. Zhao, M. Fujita, J. Yang, Spectral transforms for large Boolean functions with applications to technology mapping, Proc. 30th ACM\/IEEE Design Automation Conf. 1993, pp. 54\u201360.","DOI":"10.1145\/157485.164569"},{"key":"10.1016\/S0167-9260(98)00014-5_BIB5","doi-asserted-by":"crossref","unstructured":"Y.-T. Lai, S. Sastry, M. Pedram, Boolean matching using binary decision diagrams with applications to logic synthesis and verification, Proc. ICCD\u201992, October 1992, pp. 452\u2013458.","DOI":"10.1109\/ICCD.1992.276313"},{"key":"10.1016\/S0167-9260(98)00014-5_BIB6","doi-asserted-by":"crossref","unstructured":"J. Mohnke, S. Malik, Permutation and phase independent boolean comparison, Integration \u2013 VLSI J. 16 (1993) 109\u2013129.","DOI":"10.1016\/0167-9260(93)90041-A"},{"key":"10.1016\/S0167-9260(98)00014-5_BIB7","doi-asserted-by":"crossref","unstructured":"I. Pomeranz, S.M. Reddy, On diagnosis, correction of design errors, Proc. ICCAD, November 1993, pp. 500\u2013507.","DOI":"10.1109\/ICCAD.1993.580104"},{"key":"10.1016\/S0167-9260(98)00014-5_BIB8","unstructured":"U. Schlichtmann, F. Brglez, P. Schneider, Efficient boolean matching based on unique variable ordering, Proc. IWLS, May 1993."},{"key":"10.1016\/S0167-9260(98)00014-5_BIB9","doi-asserted-by":"crossref","unstructured":"J. Mohnke, P. Molitor, S. Malik, Limits of using signatures for permutation independent boolean comparison, Proc. ASP-DAC, September 1995.","DOI":"10.1145\/224818.224955"},{"key":"10.1016\/S0167-9260(98)00014-5_BIB10","unstructured":"S. Quer, G. Cabodi, P. Camurati, L. Lavagno, E.M. Sentovich, R.K. Brayton, Incremental FSM re-encoding for simplifying verification by symbolic traversal, Proc. IWLS, May 1995."},{"key":"10.1016\/S0167-9260(98)00014-5_BIB11","doi-asserted-by":"crossref","unstructured":"D. M\u00f6ller, J. Mohnke, M. Weber, Detection of symmetry of boolean functions represented by ROBDDs, Proc. ICCAD, November 1993, pp. 680\u2013684.","DOI":"10.1109\/ICCAD.1993.580161"}],"container-title":["Integration"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167926098000145?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167926098000145?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T09:10:06Z","timestamp":1759137006000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167926098000145"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,1]]},"references-count":11,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1999,1]]}},"alternative-id":["S0167926098000145"],"URL":"https:\/\/doi.org\/10.1016\/s0167-9260(98)00014-5","relation":{},"ISSN":["0167-9260"],"issn-type":[{"type":"print","value":"0167-9260"}],"subject":[],"published":{"date-parts":[[1999,1]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Establishing latch correspondence for sequential circuits using distinguishing signatures","name":"articletitle","label":"Article Title"},{"value":"Integration","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S0167-9260(98)00014-5","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1999 Elsevier Science B.V. All rights reserved.","name":"copyright","label":"Copyright"}]}}