Leveraging Formal to Verify SoC Register Map Author(s): Abdul Elaydi and Jose Barandiaran Format: pdf Download