Formal hardware/software co-verification by interval property checking with abstraction.

Minh D. Nguyen, Markus Wedler, Dominik Stoffel, Wolfgang Kunz

Browse the full DAC paper archive.