The System Verification Methodology for Advanced TLM Verification

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.

Download
No fulltext has been uploaded.
Conference Paper | English
Author
Oliveira, Marcio F.; Kuznik, Christoph; Le, Hoang M.; Große, Daniel; Haedicke, Finn; Müller, WolfgangLibreCat; Drechsler, Rolf; Ecker, Wolfgang; Esen, Volkan
Publishing Year
Proceedings Title
CODES/ISSS '12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings
LibreCat-ID

Cite this

Oliveira MF, Kuznik C, Le HM, et al. The System Verification Methodology for Advanced TLM Verification. In: CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings. ; 2012.
Oliveira, M. F., Kuznik, C., Le, H. M., Große, D., Haedicke, F., Müller, W., Drechsler, R., Ecker, W., & Esen, V. (2012). The System Verification Methodology for Advanced TLM Verification. CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings.
@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} }
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 CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings, 2012.
M. F. Oliveira et al., “The System Verification Methodology for Advanced TLM Verification,” 2012.
Oliveira, Marcio F., et al. “The System Verification Methodology for Advanced TLM Verification.” CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings, 2012.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar