Paper accepted for presentation at the 2018 Design Automation Conference

The paper “Formal Micro-Architectural Analysis of On-Chip Ring Networks” by Perry van Wesel and Julien Schmaltz has been accepted to the 2018 Design Automation Conference. Congratulations to Perry and Julien !