(C) 2003 Daniel Sorin. Duke Architecture. Dynamic Verification of ... Proposal: Dynamic verification of invariants. Online checking of end-to-end system invariants ...
Mark D. Hill3, David A. Wood3. 1Dept. of Electrical & Computer Engineering, ... Difficult to design for every ... Trapping to software for infrequent ...
Difficult to design for every possible corner case ... Point-to-point ordering simplifies protocol design ... Simplify multiprocessor design with speculation ...