Agnisys is well known for its IDesignSpec register generator design tool. IDesignSpec is available as a plug-in for popular editors that are commonly used to document registers (Microsoft Word, Microsoft Excel) and as a command line utility for the Windows, Linux, and Solaris platforms.
It imports various formats (e.g., IP-XACT, SystemRDL, XML, CSV) and allows FPGA, SoC, and IP designers to create the register map specification for their digital system and automatically generate all of the required outputs from it (these outputs include UVM, OVM, RALF, SystemRDL, IP-XACT, and user-defined outputs created using Tcl or XSLT scripts).
Register verification is a significant part of the design verification problem. It is one of the first aspects of the design that must be tested because the registers contain the configuration settings for the hardware and are the basis of the hardware / software interface. Thus, the rest of the design's functionality depends on the accuracy of the register implementation.
In order to address this portion of the design flow, Agnisys has announced the availability of its ARV (Automatic Register Verification) add-on that enhances the IDesignSpec register specification solution with the capability to automate the register verification process.
ARV comes in two configurations as follows:
ARV-Formal takes the register specification and RTL design as input and performs a formal proof to ensure all register operations conform to the specification. ARV-Formal is powered by 360-DV LaunchPad — an adaptive formal technology platform from OneSpin Solutions. ARV-Formal automatically generates assertions directly from the specification and executes them using the integrated formal engine, therefore completely automating setup.
ARV-Sim is a complete register verification solution that integrates with the Synopsys VCS, Cadence Incisive, and Mentor Questa simulators. ARV-Sim completely automates the UVM verification process and eliminates the lengthy and error prone UVM test bench and sequence creation process. ARV-Sim provides positive and negative sequences automatically — the actual test sequences that stimulate the hardware to ensure that the implementation is correct. In addition to testing the register implementation, ARV-Sim also verifies the interface between the registers and the application logic.
We use cookies on our website to give you the most relevant experience by remembering your preferences and repeat visits. By clicking “Accept All”, you consent to the use of ALL the cookies. However, you may visit "Cookie Settings" to provide a controlled consent.
This website uses cookies to improve your experience while you navigate through the website. Out of these, the cookies that are categorized as necessary are stored on your browser as they are essential for the working of basic functionalities of the website. We also use third-party cookies that help us analyze and understand how you use this website. These cookies will be stored in your browser only with your consent. You also have the option to opt-out of these cookies. But opting out of some of these cookies may affect your browsing experience.
Necessary cookies are absolutely essential for the website to function properly. These cookies ensure basic functionalities and security features of the website, anonymously.
Cookie
Duration
Description
cookielawinfo-checkbox-analytics
11 months
This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Analytics".
cookielawinfo-checkbox-functional
11 months
The cookie is set by GDPR cookie consent to record the user consent for the cookies in the category "Functional".
cookielawinfo-checkbox-necessary
11 months
This cookie is set by GDPR Cookie Consent plugin. The cookies is used to store the user consent for the cookies in the category "Necessary".
cookielawinfo-checkbox-others
11 months
This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Other.
cookielawinfo-checkbox-performance
11 months
This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Performance".
viewed_cookie_policy
11 months
The cookie is set by the GDPR Cookie Consent plugin and is used to store whether or not user has consented to the use of cookies. It does not store any personal data.
Functional cookies help to perform certain functionalities like sharing the content of the website on social media platforms, collect feedbacks, and other third-party features.
Performance cookies are used to understand and analyze the key performance indexes of the website which helps in delivering a better user experience for the visitors.
Analytical cookies are used to understand how visitors interact with the website. These cookies help provide information on metrics the number of visitors, bounce rate, traffic source, etc.
Advertisement cookies are used to provide visitors with relevant ads and marketing campaigns. These cookies track visitors across websites and collect information to provide customized ads.
You must verify your email address before signing in. Check your email for your verification email, or enter your email address in the form below to resend the email.
Please confirm the information below before signing in.
{* #socialRegistrationForm *}
{* firstName *}
{* lastName *}
{* displayName *}
{* emailAddress *}
By clicking "Sign In", you confirm that you accept our terms of service and have read and understand privacy policy.
{* /socialRegistrationForm *}
Almost Done
Please confirm the information below before signing in. Already have an account? Sign In.