Volkan Esen

Implementation of a Transaction Level Assertion Framework in SystemC

Wolfgang Ecker, Volkan Esen, Thomas Steininger et al. · 2007 · 36 citations

Engineering, Hardware Verification Language, Transaction Level +22

Interactive presentation: Implementation of a transaction level assertion framework in SystemC

Wolfgang Ecker, Volkan Esen, Thomas Steininger et al. · Design, Automation, and Test in Europe · 2007 · 28 citations

Engineering, Hardware Verification Language, Transaction Level +25

Requirements and Concepts for Transaction Level Assertions

Wolfgang Ecker, Volkan Esen, Thomas Steininger et al. · Proceedings, IEEE International Conference on Computer Design/Proceedings - IEEE International Conference on Computer Design · 2006 · 28 citations

Hardware Modeling, Engineering, Hardware Verification Language +24

The system verification methodology for advanced TLM verification

Marcio F. S. Oliveira, Christoph Kuznik, Hoang M. Le et al. · 2012 · 20 citations

Systemc Library, Engineering, Verification +16

Execution semantics and formalisms for multi-abstraction TLM assertions

Wolfgang Ecker, Volkan Esen, Michael M. Hull · 2006 · 20 citations

Electronic System Level, Engineering, Verification +21