{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T23:45:13Z","timestamp":1648856713079},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["EURASIP J. Adv. Signal Process."],"published-print":{"date-parts":[[2006,12]]},"DOI":"10.1155\/asp\/2006\/32408","type":"journal-article","created":{"date-parts":[[2006,6,20]],"date-time":"2006-06-20T04:51:35Z","timestamp":1150779095000},"source":"Crossref","is-referenced-by-count":1,"title":["A Fully Automated Environment for Verification of Virtual Prototypes"],"prefix":"10.1186","volume":"2006","author":[{"given":"P","family":"Belanovi\u0107","sequence":"first","affiliation":[]},{"given":"B","family":"Knerr","sequence":"additional","affiliation":[]},{"given":"M","family":"Holzer","sequence":"additional","affiliation":[]},{"given":"M","family":"Rupp","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,18]]},"reference":[{"issue":"8","key":"1649_CR1","first-page":"114","volume":"38","author":"GE Moore","year":"1965","unstructured":"Moore GE: Cramming more components onto integrated circuits. Electronics Magazine 1965, 38(8):114-117.","journal-title":"Electronics Magazine"},{"key":"1649_CR2","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1109\/SIPS.2002.1184888","volume-title":"Proc. IEEE Workshop on Signal Processing Systems (SIPS '02)","author":"R Subramanian","year":"2002","unstructured":"Subramanian R: Shannon vs Moore: driving the evolution of signal processing platforms in wireless communications. Proc. IEEE Workshop on Signal Processing Systems (SIPS '02), October 2002, San Diego, Calif, USA 2-2."},{"key":"1649_CR3","unstructured":"International SEMATECH The International Technology Roadmap for Semiconductors, Austin, Tex, USA, 1999"},{"issue":"1","key":"1649_CR4","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1109\/JPROC.2002.805824","volume":"91","author":"G Karsai","year":"2003","unstructured":"Karsai G, Sztipanovits J, Ledeczi A, Bapty T: Model-integrated development of embedded software. Proc. IEEE 2003, 91(1):145-164. 10.1109\/JPROC.2002.805824","journal-title":"Proc. IEEE"},{"key":"1649_CR5","first-page":"288","volume-title":"Proc. International Conference on Computer, Communication and Control Technologies (CCCT '03), July\u2013","author":"P Belanovi\u0107","year":"2003","unstructured":"Belanovi\u0107 P, Holzer M, Mi\u010du\u0161\u00edk D, Rupp M: Design methodology of signal processing algorithms in wireless systems. Proc. International Conference on Computer, Communication and Control Technologies (CCCT '03), July\u2013August 2003, Orlando, Fla, USA 288-291."},{"issue":"3-4","key":"1649_CR6","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1023\/A:1008906302979","volume":"5","author":"A Hemani","year":"2000","unstructured":"Hemani A, Deb AK, Oberg J, Postula A, Lindqvist D, Fjellborg B: System level virtual prototyping of DSP SOCs using grammar based approach. Design Automation for Embedded Systems 2000, 5(3-4):295-311.","journal-title":"Design Automation for Embedded Systems"},{"issue":"3-4","key":"1649_CR7","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1023\/A:1008829719142","volume":"2","author":"CA Valderrama","year":"1997","unstructured":"Valderrama CA, Changuel A, Jerraya AA: Virtual prototyping for modular and flexible hardware-software systems. Design Automation for Embedded Systems 1997, 2(3-4):267-282.","journal-title":"Design Automation for Embedded Systems"},{"issue":"1","key":"1649_CR8","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022388018837","volume":"8","author":"NS Voros","year":"2003","unstructured":"Voros NS, S\u00e1nchez L, Alonso A, Birbas AN, Birbas M, Jerraya A: Hardware-software co-design of complex embedded systems: an approach using efficient process models, multiple formalism specification and validation via co-simulation. Design Automation for Embedded Systems 2003, 8(1):5-49. 10.1023\/A:1022388018837","journal-title":"Design Automation for Embedded Systems"},{"issue":"2","key":"1649_CR9","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/54.679207","volume":"15","author":"R Ernst","year":"1998","unstructured":"Ernst R: Codesign of embedded systems: status and trends. IEEE Des. Test. Comput. 1998, 15(2):45-54. 10.1109\/54.679207","journal-title":"IEEE Des. Test. Comput"},{"key":"1649_CR10","first-page":"294","volume-title":"Proc. IEEE International Test Conference (ITC '98)","author":"P Varma","year":"1998","unstructured":"Varma P, Bhatia S: A structured test re-use methodology for core-based system chips. Proc. IEEE International Test Conference (ITC '98), October 1998, Washington, DC, USA 294-302."},{"key":"1649_CR11","first-page":"1131","volume-title":"Proc. Design, Automation and Test in Europe Conference and Exposition (DATE '02)","author":"B St\u00f6hr","year":"2002","unstructured":"St\u00f6hr B, Simmons M, Geishauser J: FlexBench: reuse of verification IP to increase productivity. Proc. Design, Automation and Test in Europe Conference and Exposition (DATE '02), March 2002, Paris, France 1131-1131."},{"key":"1649_CR12","unstructured":"Odin Technology : Axe Automated Testing Framework. 2004, http:\/\/www.odin.co.uk\/downloads\/AxeFlyer.pdf"},{"key":"1649_CR13","first-page":"114","volume-title":"Proc. 15th International Workshop on Rapid System Prototyping (RSP '04)","author":"P Belanovi\u0107","year":"2004","unstructured":"Belanovi\u0107 P, Holzer M, Knerr B, Rupp M, Sauzon G: Automatic generation of virtual prototypes. Proc. 15th International Workshop on Rapid System Prototyping (RSP '04), June 2004, Geneva, Switzerland 114-118."},{"key":"1649_CR14","volume-title":"EURASIP Journal on Applied Signal Processing","author":"P Belanovic","year":"2005","unstructured":"Belanovi\u0107 P, Knerr B, Holzer M, Sauzon G, Rupp M: A consistent design methodology for wireless embedded systems. EURASIP Journal on Applied Signal Processing Special issue on DSP enabled radio, 2005"},{"key":"1649_CR15","volume-title":"Proc. International Conference on Computer, Communication and Control Technologies (CCCT '04)","author":"B Knerr","year":"2004","unstructured":"Knerr B, Holzer M, Rupp M: HW\/SW partitioning using high level metrics. Proc. International Conference on Computer, Communication and Control Technologies (CCCT '04), August 2004, Austin, Tex, USA"},{"key":"1649_CR16","volume-title":"White paper C++ System Simulation Interfaces.","author":"U Bortfeld","year":"2000","unstructured":"Bortfeld U, Mielenz C: White paper C++ System Simulation Interfaces. Infineon, Munich, Germany, July 2000"},{"key":"1649_CR17","unstructured":"The Open SystemC Initiative (OSCI), San Jose, Calif, USA, http:\/\/www.systemc.org"},{"key":"1649_CR18","unstructured":"CoWare Incorporation, \"SoC Platform-Based Design Using ConvergenSC\/SystemC,\" July 2002, http:\/\/www.coware.com"},{"key":"1649_CR19","volume-title":"System Design with SystemC","author":"T Gr\u00f6tker","year":"2002","unstructured":"Gr\u00f6tker T, Liao S, Martin G, Swan S: System Design with SystemC. Kluwer Academic, Boston, Mass, USA; 2002."},{"key":"1649_CR20","unstructured":"StarCore DSP http:\/\/www.starcore-dsp.com"}],"container-title":["EURASIP Journal on Advances in Signal Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1155\/ASP\/2006\/32408.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,11,28]],"date-time":"2017-11-28T03:08:56Z","timestamp":1511838536000},"score":1,"resource":{"primary":{"URL":"https:\/\/asp-eurasipjournals.springeropen.com\/articles\/10.1155\/ASP\/2006\/32408"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,5,18]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2006,12]]}},"alternative-id":["1649"],"URL":"https:\/\/doi.org\/10.1155\/asp\/2006\/32408","relation":{},"ISSN":["1687-6180"],"issn-type":[{"value":"1687-6180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,5,18]]},"article-number":"032408"}}