formal methods

Ashish Darbari describes a formal technique that fuels a rapid, predictable and highly effective methodology.

Our new columnist introduces himself and traces the progress of formal verification over the last two decades. Join the discussion.

Using equivalence checking to validate ECOs in ARM core subsystem development at STMicroelectronics