{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T09:30:30Z","timestamp":1791279030279,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,3,11]],"date-time":"2007-03-11T00:00:00Z","timestamp":1173571200000},"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":[[2007,3,11]]},"DOI":"10.1145\/1228784.1228901","type":"proceedings-article","created":{"date-parts":[[2007,4,5]],"date-time":"2007-04-05T19:41:00Z","timestamp":1175802060000},"page":"493-496","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Improvements for constraint solving in the systemc verification library"],"prefix":"10.1145","author":[{"given":"Daniel","family":"Gro\u00dfe","sequence":"first","affiliation":[{"name":"University of Bremen, Bremen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"R\u00fcdiger","family":"Ebendt","sequence":"additional","affiliation":[{"name":"Institute of Transport Research, Berlin, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[{"name":"University of Bremen, Bremen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2007,3,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/123186.123222"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/217474.217522"},{"key":"e_1_3_2_1_4_1","first-page":"281","volume-title":"Customizable Embedded Processors","author":"Gro\u00dfe D.","year":"2006","unstructured":"D. Gro\u00dfe , R. Siegmund , and R. Drechsler . Processor verification . In PIenne and RLeupers, editors, Customizable Embedded Processors , pages 281 -- 302 . Elsevier , 2006 . D. Gro\u00dfe, R. Siegmund, and R. Drechsler. Processor verification. In PIenne and RLeupers, editors, Customizable Embedded Processors, pages 281--302. Elsevier, 2006."},{"key":"e_1_3_2_1_5_1","volume-title":"System Design with SystemC","author":"Gr\u00f6tker T.","year":"2002","unstructured":"T. Gr\u00f6tker , S. Liao , G. Martin , and S. Swan . System Design with SystemC . Kluwer Academic Publishers , 2002 . T. Gr\u00f6tker, S. Liao, G. Martin, and S. Swan. System Design with SystemC. Kluwer Academic Publishers, 2002."},{"key":"e_1_3_2_1_6_1","unstructured":"C.N. Ip and S. Swan. A tutorial introduction on the new SystemC verification standard. http:\/\/www.systemc.org. White paper 2003.  C.N. Ip and S. Swan. A tutorial introduction on the new SystemC verification standard. http:\/\/www.systemc.org. White paper 2003."},{"key":"e_1_3_2_1_7_1","volume-title":"SystemC Methodologies and Applications","author":"M\u00fcller W.","year":"2003","unstructured":"W. M\u00fcller , W. Rosenstiel , and J. Ruf , editors . SystemC Methodologies and Applications . Kluwer Academic Publishers , 2003 . W. M\u00fcller, W. Rosenstiel, and J. Ruf, editors. SystemC Methodologies and Applications. Kluwer Academic Publishers, 2003."},{"key":"e_1_3_2_1_8_1","volume-title":"SCV randomization version 1.0","author":"Rose J.","year":"2003","unstructured":"J. Rose and S. Swan . SCV randomization version 1.0 . 2003 . J. Rose and S. Swan. SCV randomization version 1.0. 2003."},{"key":"e_1_3_2_1_9_1","volume-title":"9th European SystemC User Group Meeting at Design, Automation and Test in Europe","author":"Siegmund R.","year":"2004","unstructured":"R. Siegmund , U. Hensel , A. Herrholz , and I. Volt . A functional coverage prototype for SystemC-based verification of chipset designs . In 9th European SystemC User Group Meeting at Design, Automation and Test in Europe , 2004 . R. Siegmund, U. Hensel, A. Herrholz, and I. Volt. A functional coverage prototype for SystemC-based verification of chipset designs. In 9th European SystemC User Group Meeting at Design, Automation and Test in Europe, 2004."},{"key":"e_1_3_2_1_10_1","volume-title":"CUDD: CU Decision Diagram Package Release 2.3.0","author":"Somenzi F.","year":"1998","unstructured":"F. Somenzi . CUDD: CU Decision Diagram Package Release 2.3.0 . University of Colorado at Boulder , 1998 . F. Somenzi. CUDD: CU Decision Diagram Package Release 2.3.0. University of Colorado at Boulder, 1998."},{"key":"e_1_3_2_1_11_1","unstructured":"Synopsys Inc. CoWare Inc. and Frontier Design Inc. http:\/\/www.systemc.org. Functional Specification for SystemC 2.0.  Synopsys Inc. CoWare Inc. and Frontier Design Inc. http:\/\/www.systemc.org. Functional Specification for SystemC 2.0."},{"key":"e_1_3_2_1_12_1","unstructured":"SystemC Verification Working Group http:\/\/www.systemc.org. SystemC Verification Standard Specification Version 1.0e.  SystemC Verification Working Group http:\/\/www.systemc.org. SystemC Verification Standard Specification Version 1.0e."},{"key":"e_1_3_2_1_13_1","volume-title":"Constraint-based Verification","author":"Yuan J.","year":"2006","unstructured":"J. Yuan , C. Pixley , and A. Aziz . Constraint-based Verification . Springer , 2006 . J. Yuan, C. Pixley, and A. Aziz. Constraint-based Verification. Springer, 2006."}],"event":{"name":"GLSVLSI07: Great Lakes Symposium on VLSI 2007","location":"Stresa-Lago Maggiore Italy","acronym":"GLSVLSI07","sponsor":["ACM Association for Computing Machinery","SIGDA ACM Special Interest Group on Design Automation"]},"container-title":["Proceedings of the 17th ACM Great Lakes symposium on VLSI"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1228784.1228901","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1228784.1228901","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:47:47Z","timestamp":1750258067000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1228784.1228901"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,3,11]]},"references-count":13,"alternative-id":["10.1145\/1228784.1228901","10.1145\/1228784"],"URL":"https:\/\/doi.org\/10.1145\/1228784.1228901","relation":{},"subject":[],"published":{"date-parts":[[2007,3,11]]},"assertion":[{"value":"2007-03-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}