Specman הינו כלי לווריפיקציה של תכנון מעגלים חשמליים דיגיטליים. את סביבות הווריפיקציה של ספקמן כותבים בשפת התיכנות e. ספקמן נוצרה בחברת Verisity שנקנתה ידי חברת Cadence.