December 11, 2018
How formal verification for the ISO26262 automotive functional safety delivers the full activation, propagation, and observation in the form of proven and exhaustive results.
June 18, 2018
How to use formal fault pruning, injection and sequential equivalency checking to meet the FMEA analysis requirements of the functional safety standard.
November 6, 2017
Sequential equivalence checking can be used to show that a block of sequential logic produces the same output for the same inputs after it has been modified by optimization techniques such as clock gating or register re-timing.
August 31, 2017
Doc Formal concludes his introduction to formal verification with a practitioner's view of the technology.
July 21, 2017
Doc Formal begins a two-part series by describing the solid and well-established foundations of formal verification.
May 30, 2016
Sequential equivalence checking can help trap errors introduced by clock gate insertion, uninitialised registers, and X propagation issues.