Abstract
The present methodology for designing state-of-the-art microprocessors involves modeling at various levels of abstraction. Currently, there is a need for better integration between the modeling and validation methodologies. In this report, an account is given on some of the innovative leading-edge technologies in academia and industry.