UScholar Works
 
Filters: Collection: "ir_uspace" Subject: "hopCP"
1 - 25 of 6
Number of results to display per page
CreatorTitleDescriptionSubjectDate
1 Akella, VenkateshhopCP: language definition, semantics and examplesWe describe a formalism for high level modeling of hardware based on flow graphs and nonatomic actions called hopCP. A module is the description of a hardware system in hopCP, which contains a flow graph to model the behavioral aspects and ports which represent the communication links. Operations ar...hopCP1990
2 Gopalakrishnan, GaneshhopCP: A concurrent hardware description languagehopCP is a language for the specification, simulation, and synthesis of hardware systems. hopCP captures the behavior of a hardware system by specifying the causal relationships between actions that the system can perform. No specific timing discipline is implied by a hopCP specification. Hence, hop...hopCP; Hardware systems1991
3 Gopalakrishnan, GaneshHierarchical action refinement: a methodology for compiling asynchronous circuits from a concurrent HDLA hardware specification formalism called hopCP is introduced, hopCP provides an uniform notation t o describe the causal relationships between a set of nonatomic actions which capture the computational, concurrency, control and communication aspects of hardware behavior. A systematic approach to sy...Hierarchical action refinement; Hardware specification formalism; hopCP1991
4 Khoche, AjayAn extended cell set of self-timed designsThe high level synthesis approach described in [1] uses hopCP[2] language for behavioral descriptions. The behavioral specifications are then translated into Hop Flow Graphs (HFGs). The actions in the graph are then refined such that refined actions can be directly mapped onto asynchronous circuit b...Self-timed designs; hopCP; Hop Flow Graphs; Asynchronous circuit blocks; Action-blocks1993
5 Akella, Venkatesh; Gopalakrishnan, GaneshSpecification and validation of control intensive ICs in hopCPControl intensive ICs pose a significant challenge to the users of formal methods in designing hardware. These ICs have to support a wide variety of requirements including synchronous and asynchronous operations polling and interrupt driven modes of operation multiple concurrent threads of executi...Asynchrony; Behavioral simulation; Formal methods; Hardware description languages; Formal specifiation and validation; hopCP1992
6 Gopalakrishnan, GaneshSpecification and validation of control-intensive integrated circuits in hopCPControl intensive ICs pose a significant challenge to the users of formal methods in designing hardware. These ICs have to support a wide variety of requirements including synchronous and asynchronous operations, polling and interrupt-driven modes of operation, multiple concurrent threads of execut...control-intensive; integrated circuits; hopCP; Computer hardware design; Validation1992
1 - 25 of 6