Allon Adir, Dave Goodman, Daniel Hershcovich, Oz Hershkovitz, Bryan G. Hickerson, Karen Holtz, Wisam Kadry, Anatoly Koyfman, John M. Ludden, Charles Meissner, Amir Nahir, Randall R. Pratt, Mike Schiffli, Brett St. Onge, Brian W. Thompto, Elena Tsanko, Avi Ziv
Verification of Transactional Memory in POWER8
DAC, 2014.
@inproceedings{DAC-2014-AdirGHHHHKKLMNPSOTTZ,
author = "Allon Adir and Dave Goodman and Daniel Hershcovich and Oz Hershkovitz and Bryan G. Hickerson and Karen Holtz and Wisam Kadry and Anatoly Koyfman and John M. Ludden and Charles Meissner and Amir Nahir and Randall R. Pratt and Mike Schiffli and Brett St. Onge and Brian W. Thompto and Elena Tsanko and Avi Ziv",
booktitle = "{Proceedings of the 51st Annual Design Automation Conference}",
doi = "10.1145/2593069.2593241",
isbn = "978-1-4503-2730-5",
pages = "6",
publisher = "{ACM}",
title = "{Verification of Transactional Memory in POWER8}",
year = 2014,
}