Santa Cruz, Calif. – Promising a fast, exhaustive check of interface designs using the Amba AHB bus protocol, ARM Ltd. and Averant Inc. have announced the SolidAHB static functional verification tool.