{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:39:28Z","timestamp":1750307968497,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,9,3]],"date-time":"2007-09-03T00:00:00Z","timestamp":1188777600000},"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,9,3]]},"DOI":"10.1145\/1284480.1284573","type":"proceedings-article","created":{"date-parts":[[2012,10,11]],"date-time":"2012-10-11T15:35:23Z","timestamp":1349969723000},"page":"360-364","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Functional verification of an MPEG-4 decoder design using a random constrained movie generator"],"prefix":"10.1145","author":[{"given":"George Sobral","family":"Silveira","sequence":"first","affiliation":[{"name":"Universidade Federal Campina Grande, Campina Grande - PB, Brazil"}]},{"given":"Karina R. G.","family":"da Silva","sequence":"additional","affiliation":[{"name":"Universidade Federal Campina Grande, Campina Grande - PB, Brazil"}]},{"given":"Elmar U. K.","family":"Melcher","sequence":"additional","affiliation":[{"name":"Universidade Federal Campina Grande, Campina Grande - PB, Brazil"}]}],"member":"320","published-online":{"date-parts":[[2007,9,3]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"I. S. I. 14496-2. Information technology-coding of audio-visual objects-part 2: Visual. December 2001.  I. S. I. 14496-2. Information technology-coding of audio-visual objects-part 2: Visual. December 2001."},{"key":"e_1_3_2_1_2_1","first-page":"34","article-title":"Design verification of the hp 9000 series 700 pa-risc workstations","volume":"43","author":"Ahi A.","year":"1992","journal-title":"Hewlett-Packard"},{"volume-title":"Second Edition. Kluwer Academic Publishers","year":"2003","author":"Bergeron J.","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1016568.1016592"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-006-9587-6"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.4218\/etrij.03.0102.0019"},{"volume-title":"DTU","year":"2003","author":"Miyashita G.","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/240518.240579"},{"volume-title":"Inc.","year":"1990","author":"Rao K. R.","key":"e_1_3_2_1_9_1"},{"volume-title":"IP\/SOC 2006","year":"2006","author":"Rocha A. K.","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","unstructured":"X. Team. Xvid api 2.1 reference (for 0.9.x series). 2003.  X. Team. Xvid api 2.1 reference (for 0.9.x series). 2003."}],"event":{"name":"SBCCI07: 20th Symposium on Integrated Circuits and System Design","sponsor":["ACM Association for Computing Machinery","SIGDA ACM Special Interest Group on Design Automation"],"location":"Copacabana Rio de Janeiro","acronym":"SBCCI07"},"container-title":["Proceedings of the 20th annual conference on Integrated circuits and systems design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1284480.1284573","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1284480.1284573","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:58:15Z","timestamp":1750258695000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1284480.1284573"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9,3]]},"references-count":11,"alternative-id":["10.1145\/1284480.1284573","10.1145\/1284480"],"URL":"https:\/\/doi.org\/10.1145\/1284480.1284573","relation":{},"subject":[],"published":{"date-parts":[[2007,9,3]]},"assertion":[{"value":"2007-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}