AXI Formal-VIP Products Details

Products Details The AXI Formal-VIP includes: Over 200 AXI coverage scenarios spanning:      All single transactions, with or without slave error      All burst transactions, with or without slave error      A selection of successions of transactions      Over 100 AXI properties covering all master and slave AXI functionalities:      All basic transactions, all burst types with or without byte strobing      Channels handshake, pipelining and out-of-order completion      Protected, exclusive and locked accesses      Burst transactions with start-addressing, last signaling mechanism Examples of properties:      For a fixed burst with a given transaction ID, all transfers of that burst must use the same byte lanes      For a write burst transaction with a given transaction ID, the slave must give a single response to the entire burst Examples of coverage scenarios:      Compute a wrapping burst of size 4 with a slave error occuring      Compute a succession of incrementing bursts or size 4, 8 and 16 with no slave errors The APB Formal-VIP includes:      Over 50 coverage scenarios spanning all basic transactions, and a selection of transfer sequences      Over 10 APB properties covering the basic APB protocol, and also dedicated bridge functionalities Performance and sampling properties: The AXI Formal-VIP extends the protocol verification with performance and sampling properties. Performance properties are useful to determine the protocol functional blottlenecks of a design. Performance properties will also automatically detect any deep control bug in the design that has an impact at interface level.   GUI wizard for quick configuration: The AXI Formal-VIP includes a comprehensive graphical interface to greatly ease the verification flow. This graphical interface will propose a step-by-step process to extract and auto-fill the design's signals, to fill-in the protocol-related parameters, to chose the targeted formal verification tool or simulator, and to create all the verification environment necessary to launch an automatic regression.     [ Continue... ]