Dialog Semiconductor Verifies Register Map Overnight with Cadence RegVal Formal App

CDNLive EMEA 2014 video, Steven Holloway, discusses how to successfully verify the register map in parametric projects. Holloway was able to automatically generate properties based on specifications, by using Cadence's RegVal formal app flow.

Last Modified: February 25, 2019

Duration: 3 min