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.

最終変更: March 18, 2016

期間: 3 min