Compiled Symbolic Simulation for SystemC

Ensuring the correctness of SystemC virtual prototypes is indispensable. For such models, existing symbolic simulation approaches are based on interpreting their behavior. In this paper we propose a major enhancement called Compiled Symbolic Simulation (CSS). For more scalable state space exploratio...

Full description

Bibliographic Details

Published in:	Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design pp. 1 - 8
Main Authors:	Herdt, Vladimir, Le, Hoang M., Grosse, Daniel, Drechsler, Rolf
Format:	Conference Proceeding
Language:	English
Published:	ACM 01.11.2016
Subjects:	C++ languages Cascading style sheets Computational modeling Context Instruments Schedules Space exploration
ISSN:	1558-2434
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!