TU Berlin

Software and Embedded Systems EngineeringPublications

SESE-Logo in blau

Page Content

to Navigation


Bit-Precise Formal Verification for SystemC using Satisfiability Modulo Theories Solving
Citation key Jass2017
Author Lydia Jaß and Paula Herber
Title of Book System Level Design from HW/SW to Memory for Embedded Systems
Year 2017
Publisher Springer
Series IFIP Advances in Information and Communication Technology
Download Bibtex entry


Quick Access

Schnellnavigation zur Seite über Nummerneingabe