Stephen Longfield Jr., Brittany Nkounkou, Rajit Manohar, Ross Tate
Preventing glitches and short circuits in high-level self-timed chip specifications
PLDI, 2015.
@inproceedings{PLDI-2015-LongfieldNMT, author = "Stephen Longfield Jr. and Brittany Nkounkou and Rajit Manohar and Ross Tate", booktitle = "{Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation}", doi = "10.1145/2737924.2737967", isbn = "978-1-4503-3468-6", pages = "270--279", publisher = "{ACM}", title = "{Preventing glitches and short circuits in high-level self-timed chip specifications}", year = 2015, }