#arm verification

[truechip-blog]

AMBA AHB 3.0 Verification IP

ARM Verification is an end-to-end framework to discover bugs in the information path, pipeline manipulate and forwarding/stall logic of processors. A key a part of making the approach scale is the use of a mechanical translation of ARM's structure Reference Manuals to Verilog allowing the usage of business model-checkers.