Formal Verification of SoC Register Maps

Steven Holloway from Dialog Semiconductors will be giving a talk on Formal Verification of SoC Register Maps at this year’s Formal Verification Conference in Reading on Thursday 15th May.  During his presentation he will be talking about how today’s SoCs are built up of many IP and subsystems,  the inability to properly control or receive status from these components and that they can cause significant issues and even result in a dead chip.  How the issues around the control and status registers (CSRs) are fairly common and cannot typically be “fixed in software” as this is the layer that interacts with the software.  To find out more about this talk and the other speakers and to register your place, visit our website.

2018-04-13T08:48:37+00:0012th April, 2014|Events, Hardware Verification, Thought Leadership, TVS-Bristol|