Macro Verification Guidelines

The goal of macro verification is to ensure that the macro is 100 percent correct in its functionality and timing In particular, the behavior of the macro must exactly match the functionality and timing described in the functional specification. This chapter discusses issues in simulating and verifying macros, including the importance of reusable testbenches and test suites, and timing verification. The topics are: Overview of macro verification Testbench design Timing verification