Agnisys Unveils Software to Automate Register Verification Process for SoC, IP, FPGA Designs
Lowell, MA. May 21, 2015 – Agnisys, Inc. announces immediate availability of ARV™ – Automatic Register Verification, an add-on product to IDesignSpec™, that enhances an already powerful register specification solution with capability to automate the register verification process for SoCs, IP and FPGA semiconductor projects. ARV saves semiconductor teams time and improves quality by enabling complete verification for design registers / memories that are the key integration point for semiconductor design, IP and software.
ARV comes in two configurations: ARV-Formal™ and ARV-Sim™
ARV-Formal is a complete solution that takes the register specification and RTL design as input and performs a formal … Read More → "Agnisys Unveils Software to Automate Register Verification Process for SoC, IP, FPGA Designs"

