{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:47:53Z","timestamp":1725551273934},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665595"},{"type":"electronic","value":"9783540481539"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48153-2_10","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T17:13:28Z","timestamp":1269882808000},"page":"110-124","source":"Crossref","is-referenced-by-count":4,"title":["Practical Application of Formal Verification Techniques on a Frame Mux\/Demux Chip from Nortel Semiconductors"],"prefix":"10.1007","author":[{"given":"Y.","family":"Xu","sequence":"first","affiliation":[]},{"given":"E.","family":"Cerny","sequence":"additional","affiliation":[]},{"given":"A.","family":"Silburt","sequence":"additional","affiliation":[]},{"given":"A.","family":"Coady","sequence":"additional","affiliation":[]},{"given":"Y.","family":"Liu","sequence":"additional","affiliation":[]},{"given":"P.","family":"Pownall","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,3]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"A. Silburt Invited Lecture: ASIC\/System Hardware Verification at Nortel: A View from the Trenches. Proceeding of the 9th IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME\u201997), October, 1997, Montreal Canada.","DOI":"10.1007\/978-0-387-35190-2_1"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"A.J. Camilleri. A role for Theorem Proving in Multi-processor Design. Proceeding of the 10th International Conference on Computer Aided Verification (CAV\u201998),Vancouver, BC Canada, June\/July 1998.","DOI":"10.1007\/BFb0028730"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"D.L. Dill. What\u2019s Between Simulation and Formal Verification. Proceeding of the 35th Design Automation Conference (DAC\u201998), San Francisco, CA, USA, June 1998","DOI":"10.1109\/DAC.1998.724491"},{"issue":"1","key":"10_CR4","volume":"V1.","year":"1997","unstructured":"FormalCheck User\u2019s Guide. Bell labs Design Automation, Lucent Technologies, V1.1, 1997","journal-title":"Bell labs Design Automation"},{"volume-title":"Ph.D. thesis","year":"1992","author":"K. L. McMillan","key":"10_CR5","unstructured":"K. L. McMillan. Symbolic model checking-an approach to the state explosion problem. Ph.D. thesis, SCS, Carnegie Mellon University, 1992. (See also Cadence Design Systems, Inc. www pages.)"},{"key":"10_CR6","unstructured":"0-In Design Automation, Inc., \u201cWhitebox verification\u201d, http:\/\/www.0-in.com\/tools ."},{"key":"10_CR7","unstructured":"0-In Design Automation, Inc., \u201c0-In search,\u201d http:\/\/www.0-in.com\/tools ."},{"key":"10_CR8","unstructured":"System Science, Inc. (Synopsys, Inc.), \u201cThe VERA verification system,\u201d http:\/\/ www.systems.com\/products\/vera ."},{"key":"10_CR9","unstructured":"TransEDA, Inc., \u201cVeriSure-Verilog code coverage tool,\u201d http:\/\/www.transeda.com\/products . 121 Practical Application of Formal Verification Techniques"},{"key":"10_CR10","unstructured":"Lucent Technologies, \u201cFormalCheck model checker,\u201d http:\/\/www.bell-labs.com\/org\/blda\/product.formal.html ."},{"key":"10_CR11","volume-title":"A Guide to Simulation","author":"P. Bratley","year":"1986","unstructured":"P. Bratley, B.L. Fox, L.E. Schrage, A Guide to Simulation, 2nd Edition, Springer-Verlag, New York, 1986.","edition":"2nd Edition"},{"key":"10_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8643-8","volume-title":"Non-Uniform Random Variate Generation","author":"L. Devroye","year":"1986","unstructured":"L. Devroye, Non-Uniform Random Variate Generation, Springer-Verlag, New York, 1986."},{"key":"10_CR13","unstructured":"CheckOff User Guide, Siemens Nixdorf Informations Systemen AG & Abstract Hardware Limited, January, 1996."},{"key":"10_CR14","unstructured":"Lambda user\u2019s manual, Abstract Hardware limited, 1995."},{"key":"10_CR15","unstructured":"Verisity Design, Inc. Specman Data Sheet, http:\/\/www.verisity.com ."}],"container-title":["Lecture Notes in Computer Science","Correct Hardware Design and Verification Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48153-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T14:57:10Z","timestamp":1558969030000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48153-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665595","9783540481539"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-48153-2_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}