1 - 25 of 2
Number of results to display per page
CreatorTitleDescriptionSubjectDate
1 Fujimoto, Richard M.; Gopalakrishnan, GaneshDesign and evaluation of the rollback chip: special purpose hardware for time warpThe Time Warp mechanism offers an elegant approach to attacking difficult clock synchronization problems that arise in applications such as parallel discrete event simulation. However, because Time Warp relies on a lookahead and rollback mechanism to achieve widespread exploitation of parallelism, t...Rollback chip; Time Warp mechanism; Clock synchronization; Parallel discrete event simulation1988
2 Gopalakrishnan, GaneshDesign and verification of the rollback chip using HOP: a case study of formal methods applied to hardware designThe use of formal methods in hardware design improves the quality of designs in many ways: it promotes better understanding of the design; it permits systematic design refinement through the discovery of invariants; and it allows design verification (informal or formal). In this paper we illustrate ...Rollback chip; Verification; HOP; Hardware design; RBC1990
1 - 25 of 2