DSVerifier
A bounded model checker to aid engineers to check for overflow, limit cycle, error, timing, stability, and minimum phase in digital systems.
DSVerifier (Digital Systems Verifier) is a bounded model checker to aid engineers to check for overflow, limit cycle, error, timing, stability, and minimum phase in digital systems, considering finite word length (FWL) effects.