System verification of concurrent RTL modules by compositional path predicate abstraction.

Joakim Urdahl, Dominik Stoffel, Markus Wedler, Wolfgang Kunz

Browse the full DAC paper archive.