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.

上次修改时间: February 25, 2019

持续时间: 3 min