{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T00:15:48Z","timestamp":1791072948750,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,6,8]],"date-time":"2008-06-08T00:00:00Z","timestamp":1212883200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,6,8]]},"DOI":"10.1145\/1391469.1391535","type":"proceedings-article","created":{"date-parts":[[2008,7,30]],"date-time":"2008-07-30T12:09:58Z","timestamp":1217419798000},"page":"256-261","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Assertion-based verification of a 32 thread SPARC\u2122 CMT microprocessor"],"prefix":"10.1145","author":[{"given":"Babu","family":"Turumella","sequence":"first","affiliation":[{"name":"Sun Microsystems, Inc., Santa Clara, CA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mukesh","family":"Sharma","sequence":"additional","affiliation":[{"name":"Sun Microsystems, Inc., Santa Clara, CA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2008,6,8]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"3","volume-title":"Proc. of ISSCC","author":"Tremblay M.","year":"2008","unstructured":"M. Tremblay and S. Chaudhry , \" A Third Generation 65nm, 16-core, 32Thread +32 Scout Threads CMT SPARC Processor \", Proc. of ISSCC , pp 3 -- 4 , 2008 . M. Tremblay and S. Chaudhry, \"A Third Generation 65nm, 16-core, 32Thread +32 Scout Threads CMT SPARC Processor\", Proc. of ISSCC, pp 3--4, 2008."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065579.1065757"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/874064.875644"},{"key":"e_1_3_2_1_4_1","volume-title":"Electronic Design Processes (EDP)","author":"Foster H.","year":"2003","unstructured":"H. Foster , \"Property Specification : The key to an assertion based platform \", Electronic Design Processes (EDP) , April 2003 . H. Foster, \"Property Specification: The key to an assertion based platform\", Electronic Design Processes (EDP), April 2003."},{"key":"e_1_3_2_1_5_1","volume-title":"SNUG Boston","author":"Andersen J.","year":"2005","unstructured":"J. Andersen , \"Leveraging Assertion Based Verification by using Magellan \", SNUG Boston , 2005 . J. Andersen, \"Leveraging Assertion Based Verification by using Magellan\", SNUG Boston, 2005."},{"key":"e_1_3_2_1_6_1","unstructured":"A. Gupta \"Assertion-based Verification Turns the Corner \" IEEE Design & Test of Computers vol. 19 no. 4 July 2002.   A. Gupta \"Assertion-based Verification Turns the Corner \" IEEE Design & Test of Computers vol. 19 no. 4 July 2002."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2007.46"},{"issue":"1","key":"e_1_3_2_1_8_1","article-title":"Validating the Intel Pentium 4 Microprocessor","volume":"5","author":"Bentley R.","year":"2001","unstructured":"R. Bentley , \" Validating the Intel Pentium 4 Microprocessor \", Intel Technology Journal , Volume 5 , Issue 1 , February 2001 . R. Bentley, \"Validating the Intel Pentium 4 Microprocessor\", Intel Technology Journal, Volume 5, Issue 1, February 2001.","journal-title":"Intel Technology Journal"},{"key":"e_1_3_2_1_9_1","unstructured":"M. Joshi \"Techniques for maximizing Assertion-based Verification throughput in Acceleration and Emulation\" Cadence User Forums DOI= http:\/\/www.cdnusers.org\/Portals\/0\/cdnlive\/na2006\/PNP\/PNP_403\/403_paper.pdf  M. Joshi \"Techniques for maximizing Assertion-based Verification throughput in Acceleration and Emulation\" Cadence User Forums DOI= http:\/\/www.cdnusers.org\/Portals\/0\/cdnlive\/na2006\/PNP\/PNP_403\/403_paper.pdf"},{"key":"e_1_3_2_1_10_1","unstructured":"Unified Coverage Reporting User Guide Version Y-2006.06 Synopsys September 2006.  Unified Coverage Reporting User Guide Version Y-2006.06 Synopsys September 2006."}],"event":{"name":"DAC '08: The 45th Annual Design Automation Conference 2008","location":"Anaheim California","acronym":"DAC '08","sponsor":["The EDA Consortium","IEEE\/CASS\/CANDE\/CEDA","SIGDA ACM Special Interest Group on Design Automation"]},"container-title":["Proceedings of the 45th annual Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1391469.1391535","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1391469.1391535","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:58:04Z","timestamp":1750255084000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1391469.1391535"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6,8]]},"references-count":10,"alternative-id":["10.1145\/1391469.1391535","10.1145\/1391469"],"URL":"https:\/\/doi.org\/10.1145\/1391469.1391535","relation":{},"subject":[],"published":{"date-parts":[[2008,6,8]]},"assertion":[{"value":"2008-06-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}