This article discusses a layered verification approach as applied to an AMBAbased system component. The layered approach is used to create a standardized verification environment that can adapt as the ...