» Using Constraints for SystemC AMS Design and Verification
|
|
|
|
Author:
|
|
Thilo Vörtler, Karsten Einwich, Muhammad Hassan, Daniel Große |
| Conference: |
|
Design and Verification Conference and Exhibition Europe (DVCon Europe) |
Reference:
|
| Munich, Germany, 2018
|
Hyperlink:
|
| [To the Site of this Conference]
|
PDF:
|
| [view Pdf]
|
» Testbench Qualification for SystemC-AMS Timed
Data Flow Models
|
|
|
|
Author:
|
|
Muhammad Hassan, Daniel Große, Hoang M. Le, Thilo Vörtler, Karsten Einwich, Rolf Drechsler |
| Conference: |
|
Design, Automation and Test in Europe (DATE) |
Reference:
|
| pp. 857-860, Dresden, Germany, 2018
|
Hyperlink:
|
| [To the Site of this Conference]
|
PDF:
|
| [view Pdf]
|
» Early SoC Security Validation by VP-based Static Information Flow Analysis
|
|
|
|
Author:
|
|
Muhammad Hassan, Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
|
| Conference: |
|
International Conference on Computer Aided Design (ICCAD) |
Reference:
|
| pp. 400-407, Irvine, USA, 2017
|
Hyperlink:
|
| [To the Site of this Conference]
|
PDF:
|
| [view Pdf]
|
» Data Flow Testing for Virtual Prototypes
|
|
|
|
Author:
|
|
Muhammad Hassan, Vladimir Herdt, Hoang M. Le, Mingsong Chen, Daniel Große, Rolf Drechsler
|
| Conference: |
|
Design, Automation and Test in Europe (DATE) |
Reference:
|
| Lausanne, Switzerland, 2017
|
Hyperlink:
|
| [To the Site of this Conference]
|
PDF:
|
| [view Pdf]
|
» Guided Lightweight Software Test Qualification for IP Integration using Virtual Prototypes
|
|
|
|
Author:
|
|
Daniel Große, Hoang M. Le, Muhammad Hassan, Rolf Drechsler |
| Conference: |
|
IEEE International Conference on Computer Design (ICCD) |
Reference:
|
| Phoenix, USA, 2016
|
Hyperlink:
|
| [To the Site of this Conference]
|
PDF:
|
| [view Pdf]
|
