Category: Big Data, Analytical Data Platforms and Data Science – PhD and Master Thesis

Path Predicate Abstraction for Sound System-Level Modeling of Digital Circuits

Dissertation Joakim Henrik Urdahl Fachbereich Elektrotechnik und Informationstechnik der Technische Universität Kaiserslautern December, 15 2015 Motivation and Overview Even after years of progress both in simulation-based and formal verification techniques, System- on-Chip (SoC) verification...