Complete Symbolic Simulation of SystemC Models
Subtitle: Efficient Formal Verification of Finite Non-Terminating Programs
Publisher: Springer Vieweg. in Springer Fachmedien Wiesbaden GmbH
Published: 2016
Language: eng
ISBN-13: 9783658126803
Subjects: Computer software, verification