Proceedings of the symposium on DESIGN AUTOMATION AND MICROPROCESSORS.