UScholar Works
 
Filters: Format: "application/pdf" Collection: "ir_uspace" Subject: "HOP"
1 - 25 of 5
Number of results to display per page
CreatorTitleDescriptionSubjectDate
1 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
2 Gopalakrishnan, GaneshHOP: A formal model for synchronous circuits using communicating fundamental mode symbolic automataWe study synchronous digital circuits in an abstract setting. A circuit is viewed as a collection of modules connected through their boundary ports, where each port assumes a fixed direction (input or output) over one cycle of operation, and can change directions across cycles. No distinction is ma...HOP1992
3 Gopalakrishnan, GaneshHOP: a process model for synchronous hardware semantics, and experiments in process compositionWe present a language "Hardware viewed as Objects and Processes" (HOP) for specifying the structure, behavior, and timing of hardware systems. HOP embodies a simple process model for lock-step synchronous processes. An absproc specification written in HOP describes the externally observable behavior...HOP; Synchronous hardware semantics1988
4 Gopalakrishnan, GaneshHOP: a process model for synchronous hardware systemsModules in HOP are black-boxes that are understood and used only in terms of their interface. The interface consists of d a t a ports, events, and a protocol specification that uses events and asserts/queries values to / from ports. Events are realized as different combinations of control wires or...HOP; Process models; Synchronous hardware systems1988
5 Gopalakrishnan, GaneshSpecification-driven design of custom hardware in HOPWe present a language "Hardware viewed as Objects and Processes" (HOP) for specifying the structure, behavior, and timing of hardware systems. HOP embodies a simple process model for lock-step synchronous processes. Processes may be described both as a black-box and as a collection of interacting s...HOP; hardware systems; Structure; Behavior; Timing; custom hardware1988
1 - 25 of 5