{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T19:40:08Z","timestamp":1736710808758,"version":"3.32.0"},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T00:00:00Z","timestamp":1133395200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Des Autom Embed Syst"],"published-print":{"date-parts":[[2005,12]]},"DOI":"10.1007\/s10617-006-9587-6","type":"journal-article","created":{"date-parts":[[2007,1,2]],"date-time":"2007-01-02T17:02:41Z","timestamp":1167757361000},"page":"285-298","source":"Crossref","is-referenced-by-count":7,"title":["A methodology aimed at better integration of functional verification and RTL design"],"prefix":"10.1007","volume":"10","author":[{"given":"Karina R. G. da","family":"Silva","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elmar U. K.","family":"Melcher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Isaac","family":"Maia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henrique do N.","family":"Cunha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9587_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-0302-6","volume-title":"Functional Verification of HDL Models","author":"J. Bergeron","year":"2003","unstructured":"Bergeron, J. Functional Verification of HDL Models, 2nd edition. Kluwer Academic Publisher, Boston, 2003.","edition":"2"},{"key":"9587_CR2","unstructured":"Brahme, D.S., S. Cox, J. Gallo, W. Grundmann, C.N. Ip, W. Paulsen, J.L. Pierce, J. Rose, D. Shea, and K. Whiting. The Transaction-Based Verification Methodology. Technical Report CDNL-TR-2000-0825, Cadence Berkeley Labs, 2000."},{"key":"9587_CR3","unstructured":"BrazilIp.www.brazilip.org.br\/fenix, 2005."},{"key":"9587_CR4","unstructured":"Collins-Sussman, B., B.W. Fitzpatrick, and C.M. Pilato. Version control with subversion, 2004."},{"key":"9587_CR5","doi-asserted-by":"crossref","unstructured":"da Silva, K.R.G., E.U.K. Melcher, G. Araujo, and V.A. Pimenta. An Automatic Testbench Generation Tool for a Systemc Functional Verification Methodology. In SBCCI \u201904: Proceedings of the 17th Symposium on Integrated Circuits and System Design, ACM Press, New York, NY, USA, pp. 66\u201370, 2004.","DOI":"10.1145\/1016568.1016592"},{"key":"9587_CR6","doi-asserted-by":"crossref","unstructured":"Due\u00f1as, C.A. Verification and Test Challenges in soc Designs. Invited Talk, 2004.","DOI":"10.1145\/1016568.1016573"},{"key":"9587_CR7","volume-title":"Functional Verification Coverage Measurement and Analysis","author":"A. Piziali","year":"2004","unstructured":"Piziali, A. Functional Verification Coverage Measurement and Analysis 1st edition. Kluwer Academic Publisher, Massachusetts, USA, 2004.","edition":"1"},{"key":"9587_CR8","doi-asserted-by":"crossref","unstructured":"Randjic, A., N. Ostapcuk, I. Soldo, P. Markovic, and V. Mujkovic. Complex Asics Verification with Systemc. In 23rd International Conference on Microelectronics, pp. 671\u2013674, 2002.","DOI":"10.1109\/MIEL.2002.1003347"},{"key":"9587_CR9","unstructured":"Swan, S. An Introduction to System Level Modelling in Systemc 2.0, 2001."},{"key":"9587_CR10","unstructured":"Team, X. Xvid api 2.1 reference (for 0.9.x series), 2003."},{"key":"9587_CR11","doi-asserted-by":"crossref","unstructured":"Wagner, I., V. Bertacco, and T. Austin. Stresstest: An Automatic Approach to Test Generation via Activity Monitors. In Design Automation Conference, 2005.","DOI":"10.1109\/DAC.2005.193922"}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-006-9587-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10617-006-9587-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-006-9587-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T19:18:39Z","timestamp":1736709519000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10617-006-9587-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,12]]},"references-count":11,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2005,12]]}},"alternative-id":["9587"],"URL":"https:\/\/doi.org\/10.1007\/s10617-006-9587-6","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"type":"print","value":"0929-5585"},{"type":"electronic","value":"1572-8080"}],"subject":[],"published":{"date-parts":[[2005,12]]}}}