Abstraction in hardware system design

@article{nikhil-cacm201110,
   apice = {NikhilCACM201110},
   author = {Nikhil, Rishiyur S.},
   bibsource = {DBLP, http://dblp.uni-trier.de},
   doi = {10.1145/2001269.2001284},
   journal = {Communications of the ACM},
   number = 10,
   pages = {36--44},
   title = {Abstraction in hardware system design},
   volume = 54,
   year = 2011
}