Agnisys welcomes you all to our Booth #420 at the Design Automation Conference, Austin, TX.Technical Focus Areas
Our focus this year has been on IDesignSpec (IDS) for registers and memories and the latest addition to our portfolio – ISequenceSpec (ISS) which is used to create a sequence specification and generate a portable sequence library. This library is for the most troublesome area of the chip – register and memory interaction.Drop by Agnisys booth to see both IDS and ISS working with a live Xilinx board using the Vivado tool.We are going to have some fun at DAC!
While at the booth play a new register verification game that we have specially created for DAC called “RegVerifier”. The top three gamers will win prizes every day of the DAC show (don’t have to be present to win, we will mail the prize to you).Partner Activities:
Besides its own booth #420 at DAC this year, Agnisys will be present in several of our partner booths – Cadence, Breker, Mentor, OneSpin.
Activities Schedule ...
|Tuesday June 7th 10:00 AM||Mentor's Verification Academy (Booth #627)||Saving Time and Improving Quality with a Specification-to-Realization Flow|
|Tuesday June 7th 3:30 PM||OneSpin Solutions (Booth #1249)||Formal Specification to Formal Verification|
|Wednesday June 8th 10:30 AM||Cadence's DAC Theater (Booth #107)||Portable Software Driven Verification|
We look forward to seeing you all at DAC!