Proceedings of the 8th ACM/IEEE international workshop on Timing issues in the specification and synthesis of digital systems