1. A method for testing an address translation mechanism of a design-under-test comprising the steps of: modeling said address translation mechanism as a directed acyclic graph having nodes and edges that connect said nodes, wherein said nodes represent stages of said mechanism, and said edges represent state transitions between said stages; formulating a constraint satisfaction problem from said graph; solving said constraint satisfaction problem so as to generate a test case for said design-under-test; and executing said test case in said design-under-test.