ARM supports AMBA family of protocols such as APB, AHB, AXI, ACE etc. VerifWorks has developed a comprehensive set of properties to verify a typical AXI interface. It is available in multiple flavors such as:
We develop, customize and deploy these AIPs in applications such as:
- Transaction identification, extraction on a typical UVM run
- Augmented checking on top of our AXI-lite VIP (VIP provides stimulus, AIP does the checking)
- Formal Verification of select portions (since the entire AIP + RTL is usually hard to converge in commercial FV tools as of now)
- Measuring coverage
- FPGA prototyping, Emulation – only a subset
Contact us via email@example.com for more details.