{"user_id":"21240","type":"conference","title":"The System Verification Methodology for Advanced TLM Verification","date_updated":"2022-01-06T06:57:12Z","status":"public","author":[{"first_name":"Marcio F.","last_name":"Oliveira","full_name":"Oliveira, Marcio F."},{"full_name":"Kuznik, Christoph","last_name":"Kuznik","first_name":"Christoph"},{"full_name":"Le, Hoang M.","first_name":"Hoang M.","last_name":"Le"},{"full_name":"Große, Daniel","last_name":"Große","first_name":"Daniel"},{"first_name":"Finn","last_name":"Haedicke","full_name":"Haedicke, Finn"},{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"},{"full_name":"Drechsler, Rolf","last_name":"Drechsler","first_name":"Rolf"},{"first_name":"Wolfgang","last_name":"Ecker","full_name":"Ecker, Wolfgang"},{"last_name":"Esen","first_name":"Volkan","full_name":"Esen, Volkan"}],"publication":"CODES/ISSS '12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings","date_created":"2021-10-07T11:16:29Z","citation":{"apa":"Oliveira, M. F., Kuznik, C., Le, H. M., Große, D., Haedicke, F., Müller, W., Drechsler, R., Ecker, W., &#38; Esen, V. (2012). The System Verification Methodology for Advanced TLM Verification. <i>CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings</i>.","ama":"Oliveira MF, Kuznik C, Le HM, et al. The System Verification Methodology for Advanced TLM Verification. In: <i>CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings</i>. ; 2012.","short":"M.F. Oliveira, C. Kuznik, H.M. Le, D. Große, F. Haedicke, W. Müller, R. Drechsler, W. Ecker, V. Esen, in: CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings, 2012.","ieee":"M. F. Oliveira <i>et al.</i>, “The System Verification Methodology for Advanced TLM Verification,” 2012.","chicago":"Oliveira, Marcio F., Christoph Kuznik, Hoang M. Le, Daniel Große, Finn Haedicke, Wolfgang Müller, Rolf Drechsler, Wolfgang Ecker, and Volkan Esen. “The System Verification Methodology for Advanced TLM Verification.” In <i>CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings</i>, 2012.","mla":"Oliveira, Marcio F., et al. “The System Verification Methodology for Advanced TLM Verification.” <i>CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings</i>, 2012.","bibtex":"@inproceedings{Oliveira_Kuznik_Le_Große_Haedicke_Müller_Drechsler_Ecker_Esen_2012, title={The System Verification Methodology for Advanced TLM Verification}, booktitle={CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings}, author={Oliveira, Marcio F. and Kuznik, Christoph and Le, Hoang M. and Große, Daniel and Haedicke, Finn and Müller, Wolfgang and Drechsler, Rolf and Ecker, Wolfgang and Esen, Volkan}, year={2012} }"},"language":[{"iso":"eng"}],"_id":"25761","year":"2012","department":[{"_id":"672"}]}