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