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...

Celý popis

Podrobná bibliografie

Vydáno v:	Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design s. 1 - 8
Hlavní autoři:	Herdt, Vladimir, Le, Hoang M., Grosse, Daniel, Drechsler, Rolf
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	ACM 01.11.2016
Témata:	C++ languages Cascading style sheets Computational modeling Context Instruments Schedules Space exploration
ISSN:	1558-2434
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!