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