|
Home « Team « Publications
» Publications of
Hoang M. Le
|
|
 |
BOOKS |
 |
|
BOOK CONTRIBUTIONS |
|
|
JOURNALS |
|
|
CONFERENCES |
|
» Verifying SystemC using an Intermediate Verification Language and Symbolic Simulation
|
|
|
|
Author:
|
|
Hoang M. Le, Daniel Große, Vladimir Herdt, Rolf Drechsler |
| Conference: |
|
Design Automation Conference (DAC) |
Reference:
|
| Austin, Texas, 2013
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Synchronized Debugging across Different Abstraction Levels in System Design
|
|
|
|
Author:
|
|
Rolf Drechsler, Daniel Große, Hoang M. Le, André Sülflow |
| Conference: |
|
embedded world Conference 2013 |
Reference:
|
| Nürnberg, 2013
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Scalable Fault Localization for SystemC TLM Designs
|
|
|
|
Author:
|
|
Hoang M. Le, Daniel Große, Rolf Drechsler |
| Conference: |
|
Design, Automation and Test in Europe (DATE'13) |
Reference:
|
| pp. 35-38, Grenoble, France, 2013
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» From Requirements and Scenarios to ESL Design in SystemC
|
|
|
|
Author:
|
|
Hoang M. Le, Daniel Große, Rolf Drechsler |
| Conference: |
|
International Symposium on Electronic System Design (ISED) |
Reference:
|
| Kolkata, WB, India, 2012
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» The System Verification Methodology for
Advanced TLM Verification
|
|
|
|
Author:
|
|
Marcio F. S. Oliveira, Christoph Kuznik, Wolfgang Mueller, Finn Haedicke, Hoang M. Le, Daniel Große, Rolf Drechsler, Wolfgang Ecker, Volkan Esen |
| Conference: |
|
International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) |
Reference:
|
| pp. 313-322, Tampere, 2012
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Completeness-Driven Development
|
|
|
|
Author:
|
|
Rolf Drechsler, Melanie Diepenbeck, Daniel Große, Ulrich Kühne, Hoang M. Le, Julia Seiter, Mathias Soeken, Robert Wille |
| Conference: |
|
International Conference on Graph Transformation |
Reference:
|
| pp. 38-50, Bremen, 2012
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» CRAVE: An Advanced Constrained RAndom Verification Environment for SystemC
|
|
|
|
Author:
|
|
Finn Haedicke, Hoang M. Le, Daniel Große, Rolf Drechsler |
| Conference: |
|
International Symposium on System-on-Chip (SoC) |
Reference:
|
| pp. 1-7, Tampere, 2012
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Proving Transaction and System-level Properties of Untimed SystemC TLM Designs
|
|
|
|
Author:
|
|
Daniel Große, Hoang M. Le, Rolf Drechsler |
| Conference: |
|
International Conference on
Formal Methods and Models for Codesign (MEMOCODE) |
Reference:
|
| pp. 113-122, Grenoble, 2010
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Structural Heuristics for SAT-based ATPG
|
|
|
|
Author:
|
|
Daniel Tille, Stephan Eggersglüß, Hoang M. Le, Rolf Drechsler |
| Conference: |
|
17th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC 2009) |
Reference:
|
| pp. 77-82, Florianópolis, 2009
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Quantified Synthesis of Reversible Logic
|
|
|
|
Author:
|
|
Robert Wille, Hoang M. Le, Gerhard W. Dueck, Daniel Große |
| Conference: |
|
Design, Automation, and Test in Europe (DATE) |
Reference:
|
| pp. 1015-1020, Munich, 2008
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
|
WORKSHOPS |
|
» SystemC Verifikation mittels symbolischer Simulation einer Zwischensprache
|
|
|
|
Author:
|
|
Hoang M. Le, Daniel Große, Vladimir Herdt, Rolf Drechsler |
| Workshop: |
|
edaWorkshop |
Reference:
|
| pp. 53-58, Dresden, 2013
| PDF:
|
| [view Pdf]
| Hyperlink:
|
| [Link to the Workshop]
|
» Compilation of Methodologies to Speed up the Verification Process
at System Level
|
|
|
|
Author:
|
|
Stephan Radke, Steffen Rülke, Marcio F. S. Oliveira, Christoph Kuznik, Wolfgang Müller, Wolfgang Ecker, Volkan Esen, Simon Hufnagel, Nico Bannow, Helmut Brazdrum, Peter Janssen, Hoang M. Le, Daniel Große, Rolf Drechsler, Erhard Fehlauer, Gernot Koch, Andreas Burger, Oliver Bringmann, Wolfgang Rosenstiel, Finn Haedicke, Ralph Görgen, Jan-Hendrik Oetjens |
| Workshop: |
|
edaWorkshop |
Reference:
|
| pp. 57-62, Hannover, 2012
| Hyperlink:
|
| [Link to the Workshop]
|
» SystemC-based ESL Verification Flow
Integrating Property Checking and Automatic
Debugging
|
|
|
|
Author:
|
|
Hoang M. Le, Daniel Große, Rolf Drechsler |
| Workshop: |
|
DATE Friday Workshop: OSCI and Accellera Core Technologies for the Next Generation of System-Level Design |
Reference:
|
| Dresden, 2012
| Hyperlink:
|
| [Link to the Workshop]
|
» CRAVE: An Advanced Constrained Random Verification Environment for SystemC
|
|
|
|
Author:
|
|
Finn Haedicke, Hoang M. Le, Daniel Große, Rolf Drechsler |
| Workshop: |
|
15. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) |
Reference:
|
| Kaiserslautern, 2012
Software and benchmarks available at www.systemc-verification.org
| Hyperlink:
|
| [Link to the Workshop]
|
» Towards Proving TLM Properties with Local Variables
|
|
|
|
Author:
|
|
Hoang M. Le, Daniel Große, Rolf Drechsler |
| Workshop: |
|
7th International Workshop on Constraints in Formal Verification (CFV) |
Reference:
|
| San Jose, 2011
| PDF:
|
| [view Pdf]
| Hyperlink:
|
| [Link to the Workshop]
|
» Automatic Fault Localization for SystemC TLM Designs
|
|
|
|
Author:
|
|
Hoang M. Le, Daniel Große, Rolf Drechsler |
| Workshop: |
|
11th International Workshop on Microprocessor Test and Verification (MTV) |
Reference:
|
| pp. 35-40, Austin, Texas, 2010
| PDF:
|
| [view Pdf]
| Hyperlink:
|
| [Link to the Workshop]
|
» Towards Analyzing Functional Coverage in SystemC TLM Property Checking
|
|
|
|
Author:
|
|
Hoang M. Le, Daniel Große, Rolf Drechsler |
| Workshop: |
|
IEEE International Workshop on High-Level Design Validation and Test (HLDVT) |
Reference:
|
| pp. 67-74, Anaheim, 2010
| PDF:
|
| [view Pdf]
| Hyperlink:
|
| [Link to the Workshop]
|
» Induction-based Formal Verification of SystemC TLM Designs
|
|
|
|
Author:
|
|
Daniel Große, Hoang M. Le, Rolf Drechsler |
| Workshop: |
|
10th International Workshop on Microprocessor Test and Verification (MTV) |
Reference:
|
| pp. 101-106, Austin, Texas, 2009
| Hyperlink:
|
| [Link to the Workshop]
|
|
|
|
|
