The chapter entitled 'Methodologies for design space exploration' has been accepted for the Handbook of Computer Architecture (Springer)