A re-use methodology for formal SoC protocol compliance verification.

Minh D. Nguyen, Max Thalmaier, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Jrg Bormann

Browse the full FDL paper archive.