Sciweavers

Share
VLSID
2000
IEEE

Design of Synchronous Action Systems

11 years 11 months ago
Design of Synchronous Action Systems
The action systems framework has recently been applied to the area of synchronous VLSI design. In this paper, we present a set of concepts necessary in the formal design of synchronous hardware, using synchronous action systems. These explicitly model synchronous two-phase behavior. They are developed using the refinement calculus in a usual manner. The fundamental idea of synchronous action systems is to make a formal description transparent in the sense that its hardware implementation can be obtained by direct mapping. The presented design methodology also allows a postponed decision on the final implementation aspects regarding the architecture (synchronous / asynchronous)
Juha Plosila, Tiberiu Seceleanu
Added 01 Aug 2010
Updated 01 Aug 2010
Type Conference
Year 2000
Where VLSID
Authors Juha Plosila, Tiberiu Seceleanu
Comments (0)
books