{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T16:12:44Z","timestamp":1694621564885},"reference-count":15,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2003,3,1]],"date-time":"2003-03-01T00:00:00Z","timestamp":1046476800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Des. Test. Comput."],"published-print":{"date-parts":[[2003,3]]},"DOI":"10.1109\/mdt.2003.1188263","type":"journal-article","created":{"date-parts":[[2003,3,26]],"date-time":"2003-03-26T21:30:05Z","timestamp":1048714205000},"page":"56-64","source":"Crossref","is-referenced-by-count":3,"title":["Efficient system-level functional verification methodology for multimedia applications"],"prefix":"10.1109","volume":"20","author":[{"given":"M.","family":"Cupak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Catthoor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.J.","family":"De Man","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"bibd20569","first-page":"72","article-title":"efficient functional validation of system-level loop transformations for multi-media applications","author":"upk","year":"1998","journal-title":"Proc IEEE Int l High Level Design Validation and Test Workshop"},{"key":"bibd205611","doi-asserted-by":"publisher","DOI":"10.1145\/125826.125848"},{"key":"bibd20568","doi-asserted-by":"publisher","DOI":"10.1109\/VLSISP.1994.574745"},{"key":"bibd205610","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.1992.276230"},{"key":"bibd20561B","doi-asserted-by":"publisher","DOI":"10.1109\/VLSISP.1994.574745"},{"key":"bibd20561A","article-title":"sfg-tracing: a methodology for the automatic verification of mos transistor level implementations from high level behavioural specifications","author":"claesen","year":"1991","journal-title":"Proc ACM-SIGDA Int l Workshop Formal Methods in VLSI Design"},{"key":"bibd20562B","author":"kreisel","year":"1967","journal-title":"\"Elements of Mathematical Logic \""},{"key":"bibd20564","doi-asserted-by":"publisher","DOI":"10.1109\/49.650925"},{"key":"bibd20563B","doi-asserted-by":"publisher","DOI":"10.1145\/125826.125848"},{"key":"bibd20565","first-page":"165","article-title":"verification of regular architectures using alpha: a case study","author":"dezan","year":"1994","journal-title":"Proc Int Conf Application Specific Array Processors"},{"key":"bibd20566","article-title":"sfg tracing: a methodology for the automatic verification of mos transistor level implementations from high level behavioural specifications","author":"claesen","year":"1991","journal-title":"Proc ACM-SIGDA Int l Workshop Formal Methods in VLSI Design"},{"key":"bibd20567","doi-asserted-by":"publisher","DOI":"10.1016\/0167-9260(89)90004-7"},{"key":"bibd20561","author":"catthoor","year":"1998","journal-title":"Custom Memory Management Methodology Exploration of Memory Organisation for Embedded Multimedia System Design"},{"key":"bibd20562","doi-asserted-by":"publisher","DOI":"10.1109\/5.214548"},{"key":"bibd20563","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1995.480018"}],"container-title":["IEEE Design & Test of Computers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/54\/26637\/01188263.pdf?arnumber=1188263","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:44:51Z","timestamp":1642005891000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1188263\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,3]]},"references-count":15,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/mdt.2003.1188263","relation":{},"ISSN":["0740-7475"],"issn-type":[{"value":"0740-7475","type":"print"}],"subject":[],"published":{"date-parts":[[2003,3]]}}}