System Verification of Concurrent RTL Modules by Compositional Path Predicate Abstraction. - Urdahl, Joakim; Stoffel, Dominik; Wedler, Markus; Kunz, Wolfgang (DAC: Annual ACM/IEEE Design Automation Conference, 2012)