Towards Verifying Determinism of SystemC Designs

Authors: Hoang Minh Le, Universität Bremen, DE; - -, -, DE

Abstract:

-

Publication Date: 2014/03/26

Location of Publication: Design, Automation and Test in Europe (DATE), Dresden, Germany

Keywords: System Design; Verification