Overcoming AXI Asynchronous Bridge Verification Challenges with AXI Assertion-Based Verification IP (ABVIP) and Formal Datapath Scoreboards

Author(s):
Bochra Elmaray and Joerg Mueller
Location:
United States
Year:
2013
Type:
Paper
Format:
pdf
Download