Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of

Advanced Verification Techniques : A SystemC Based Approach for S

Complete Symbolic Simulation of SystemC Models - 9783658126797

Advanced Verification Techniques: A SystemC Based Approach for Successful Ta...

SystemC: From the Ground Up, Second Edition - 9781489982667

Scalable Hardware Verification with Symbolic Simulation - 9781441937391

Scalable Hardware Verification with Symbolic Simulation by Valeria Bertacco...

Symbolic Simulation Methods for Industrial Formal Verification - 9781461353959