DSVerifier

DS Verifier

Description: 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.

VO Integration: No

Active: Yes

Available Benchmarks: No

Website: http://dsverifier.org

Download: Link

Documentation: Link

Contact: lucasccordeiro@gmail.com

Graphic and excerpt from: http:/dsverifier.org