Improving formal timing analysis of switched ethernet by exploiting FIFO scheduling

Daniel Thiele, Philip Axer, Rolf Ernst. Improving formal timing analysis of switched ethernet by exploiting FIFO scheduling. In Proceedings of the 52nd Annual Design Automation Conference, San Francisco, CA, USA, June 7-11, 2015. pages 41, ACM, 2015. [doi]

@inproceedings{ThieleAE15,
  title = {Improving formal timing analysis of switched ethernet by exploiting FIFO scheduling},
  author = {Daniel Thiele and Philip Axer and Rolf Ernst},
  year = {2015},
  doi = {10.1145/2744769.2744854},
  url = {http://doi.acm.org/10.1145/2744769.2744854},
  researchr = {https://researchr.org/publication/ThieleAE15},
  cites = {0},
  citedby = {0},
  pages = {41},
  booktitle = {Proceedings of the 52nd Annual Design Automation Conference, San Francisco, CA, USA, June 7-11, 2015},
  publisher = {ACM},
  isbn = {978-1-4503-3520-1},
}