Abstraction in hardware system design

Rishiyur S. Nikhil
2011 Communications of the ACM  
doi:10.1145/2001269.2001284 fatcat:sxakrhfiefggvhgjs7nltcsj7q