Accelerated, High Quality SoC Memory Map Verification using Formal Techniques

Author(s):
Cletan Sequeira, Rajesh Kedia, Lokesh Babu Pundreeka, and Bijitendra Mittra