Verifying SystemC using Stateful Symbolic Simulation

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

Abstract:

-

Publication Date: 2015/06/07

Location of Publication: Design Automation Conference (DAC), San Francisco, US

Keyword: Verification