model checking

Doc Formal concludes his introduction to formal verification with a practitioner's view of the technology.

Doc Formal begins a two-part series by describing the solid and well-established foundations of formal verification.

As designs get larger and stress the ability of simulation to exercise an SoC, formal techniques have become essential parts of design and verification.