In 2004 a company called Certess Inc. (now part of Synopsys) extended many of the principles into the hardware verification domain.
في عام 2004 شركة تدعى شركة Certess (وهي الآن جزء من سينوبسيس) بمد العديد من المبادئ في مجال التحقق من الأجهزة.