{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:32:18Z","timestamp":1750307538171,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":7,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,7,26]],"date-time":"2009-07-26T00:00:00Z","timestamp":1248566400000},"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":[[2009,7,26]]},"DOI":"10.1145\/1629911.1630081","type":"proceedings-article","created":{"date-parts":[[2009,10,13]],"date-time":"2009-10-13T15:11:11Z","timestamp":1255446671000},"page":"644-647","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Untwist your brain"],"prefix":"10.1145","author":[{"given":"Michael","family":"Siegel","sequence":"first","affiliation":[{"name":"OneSpin Solutions, Munich, Germany"}]},{"given":"Adriana","family":"Maggiore","sequence":"additional","affiliation":[{"name":"OneSpin Solutions, Sunnyvale, CA"}]},{"given":"Christian","family":"Pichler","sequence":"additional","affiliation":[{"name":"OneSpin Solutions, Munich, Germany"}]}],"member":"320","published-online":{"date-parts":[[2009,7,26]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"USA","author":"Standard IEEE","year":"1800","unstructured":"IEEE Standard 1800 --2005 SystemVerilog: Unified Hardware Design, Specification and Verification Language , USA , 2005. IEEE Standard 1800--2005 SystemVerilog: Unified Hardware Design, Specification and Verification Language, USA, 2005."},{"key":"e_1_3_2_1_2_1","volume-title":"Inc.","author":"Standard IEEE","year":"1850","unstructured":"IEEE Standard 1850 --2005 Property Specification Language (PSL), IEEE , Inc. , New York, NY, USA , 2005. IEEE Standard 1850--2005 Property Specification Language (PSL), IEEE, Inc., New York, NY, USA, 2005."},{"key":"e_1_3_2_1_3_1","unstructured":"http:\/\/www.onespin-solutions.com\/360mv.php  http:\/\/www.onespin-solutions.com\/360mv.php"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2008.53"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.923234"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_21"},{"key":"e_1_3_2_1_7_1","unstructured":"J. Bormann S. Beyer T. Blackmore etal Complete Formal Verification of TriCore2 and Other Processors DVCon 2007  J. Bormann S. Beyer T. Blackmore et al. Complete Formal Verification of TriCore2 and Other Processors DVCon 2007"}],"event":{"name":"DAC '09: The 46th Annual Design Automation Conference 2009","sponsor":["EDAC Electronic Design Automation Consortium","SIGDA ACM Special Interest Group on Design Automation","IEEE-CAS Circuits & Systems"],"location":"San Francisco California","acronym":"DAC '09"},"container-title":["Proceedings of the 46th Annual Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1629911.1630081","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1629911.1630081","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:23:21Z","timestamp":1750249401000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1629911.1630081"}},"subtitle":["efficient debugging and diagnosis of complex assertions"],"short-title":[],"issued":{"date-parts":[[2009,7,26]]},"references-count":7,"alternative-id":["10.1145\/1629911.1630081","10.1145\/1629911"],"URL":"https:\/\/doi.org\/10.1145\/1629911.1630081","relation":{},"subject":[],"published":{"date-parts":[[2009,7,26]]},"assertion":[{"value":"2009-07-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}