{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T14:02:00Z","timestamp":1725544920608},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540326045"},{"type":"electronic","value":"9783540326052"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11678779_4","type":"book-chapter","created":{"date-parts":[[2006,3,2]],"date-time":"2006-03-02T08:03:26Z","timestamp":1141286606000},"page":"43-55","source":"Crossref","is-referenced-by-count":0,"title":["Assertion-Based Verification for the SpaceCAKE Multiprocessor \u2013 A Case Study"],"prefix":"10.1007","author":[{"given":"Milind","family":"Kulkarni","sequence":"first","affiliation":[]},{"given":"Benita","family":"Bommi J.","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Stravers, P., Hoogerbrugge, J.: Homogeneous Multiprocessing and the Future of Silicon Design Paradigms. In: Proceedings of the IEEE International Symposium on VLSI technology, Systems and Applications, April 2001, pp. 184\u2013187 (2001)","DOI":"10.1109\/VTSA.2001.934515"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Stravers, P.: Homogeneous Multiprocessing for the Masses. In: IEEE Workshop on Embedded Systems for Real-Time Multimedia, September 2004, p. 3 (2004)","DOI":"10.1109\/ESTMED.2004.1359689"},{"key":"4_CR3","unstructured":"Property Specification Language Version 1.1, Reference Manual, Accellera (June 2004)"},{"key":"4_CR4","unstructured":"Open Verification Library, Assertion Monitor Reference Manual, Accellera (June 2003)"},{"key":"4_CR5","unstructured":"Philips Semiconductors. CoReUse 3.2.1 Memory Transaction Level (MTL) Protocol Specifications (September 2002)"},{"key":"4_CR6","unstructured":"Philips Semiconductors. CoReUse 3.1.5 Device Transaction Level (DTL) Protocol Specifications (December 2001)"},{"key":"4_CR7","unstructured":"AMBA Advanced eXtensible Protocol v1.0 Specification"},{"key":"4_CR8","unstructured":"Cadence Specman Elite v4.3.4"},{"key":"4_CR9","volume-title":"Computer Architecture and Organization","author":"J. Hennessy","year":"2003","unstructured":"Hennessy, J., Patterson, D.: Computer Architecture and Organization, 3rd edn. Morgan Kaufmann Publishers, San Francisco (2003)","edition":"3"},{"key":"4_CR10","unstructured":"Sloane, N.J.A.: A Library of Orthogonal Arrays. Information Sciences Research Center, AT&T Shannon Labs.(9 Augest 2001)"},{"key":"4_CR11","unstructured":"Jenny Tool, \n                    \n                      http:\/\/burtleburtle.net\/bob\/math\/jenny.html"},{"key":"4_CR12","unstructured":"Incisive Static Assertion Checking Guide, Product Version 5.1 (October 2003)"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Kantrowitz, M., Noack, L.M.: I\u2019m Done Simulating: Now What? Verification Coverage Analysis and Correctness Checking of the DECchip 21164 Alpha Microprocessor. In: Proceedings of the 33rd Design Automation Conference, June 1996, pp. 325\u2013330 (1996)","DOI":"10.1109\/DAC.1996.545595"}],"container-title":["Lecture Notes in Computer Science","Hardware and Software, Verification and Testing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11678779_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:15:40Z","timestamp":1619493340000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11678779_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540326045","9783540326052"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11678779_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}