Leveraging Formal to Verify SoC Register Map

Author(s):
Abdul Elaydi and Jose Barandiaran