Agnisys Technology is a creator of automation tools for the design and verification processes. Its products include IDesignSpec and IVerifySpec. The company also complements its EDA tool offerings with world-wide Verification consulting services using OVM, SystemVerilog and SystemC. It also offers training in technologies for verification.