Venkatesh Akella
-
Design and verification of the Rollback Chip using HOP: a case study of formal methods applied to hardware design
ACM Transactions on Computer Systems (TOCS)