Derivation of a DRAM memory interface by sequential decomposition

Rath, Kamlesh; Bose, Bhaskar; Johnson, Steven D.

doi:10.1109/iccd.1993.393338

Cited by 7 publications

(2 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…1. T(s) 4 We use a simple example to illustrate path implementation. The complement of a garbage collector cycle is transfoed into a path implementation.…”

Section: Path Implementationmentioning

confidence: 99%

“…In a functional framework, a transformation called system factorization [2] was used earlier to extract functional components having naive interactions with the surrounding system. As a generalization of system factorization, we have developed sequential decomposition which uses a finite state machine model to decompose system descriptions into interacting sequential machines [3,4].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Decomposition of Sequential Behavior UsingInterface Specification and Complementation

1995

View full text Add to dashboard Cite

Decomposition of system behavior along functional boundaries into interacting sequential components is a key step in top-down system design. In this paper, we present sequential decomposition, a method for factoring sequential components from a system specification based on interface specifications of the components. The resulting components can be independently synthesized, or realized using off-the-shelf components. We introduce interface specification language (ISL), based on finite-state machine semantics, to specify the input/output behavior of synchronous sub-systems. A component is factored from a system by embedding an implementation of the complement of its interface into the system description. The composition of a machine with its complement is shown to be isomorphic to the machine, and the composition of a machine with an implementation of its component is shown to be a safe interaction. We apply sequential decomposition to a non-trivial example, a special-purpose computer with Scheme programming language primitives as its instructions.

show abstract

“…1. T(s) 4 We use a simple example to illustrate path implementation. The complement of a garbage collector cycle is transfoed into a path implementation.…”

Section: Path Implementationmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Decomposition of Sequential Behavior UsingInterface Specification and Complementation

1995

View full text Add to dashboard Cite

show abstract

Formal synthesis in circuit design — A classification and survey

Kumar

Blumenröhr

Eisenbiegler

et al. 1996

Formal Methods in Computer-Aided Design

View full text Add to dashboard Cite

Abstract. This article gives a survey on different methods of formal synthesis. We define what we mean by the term formal synthesis and delimit it from the other formal methods that can also be used to guarantee the correctness of an implementation. A possible classification scheme for formal synthesis methods is then introduced, based on which some significant research activities are classified and summarized. We also briefly introduce our own approach towards the formal synthesis of hardware. Finally, we compare these approaches from different points of view.

show abstract

Toward a Basis for Protocol Specification and Process Decomposition ††This research was supported in part by the National Science Foundation under grants numbered MIP 8921842 and MIP 9208745.

Rath

Johnson

1993

Computer Hardware Description Languages and Their Applications

View full text Add to dashboard Cite

Derivation of a DRAM memory interface by sequential decomposition

Cited by 7 publications

References 7 publications

Decomposition of Sequential Behavior UsingInterface Specification and Complementation

Decomposition of Sequential Behavior UsingInterface Specification and Complementation

Formal synthesis in circuit design — A classification and survey

Toward a Basis for Protocol Specification and Process Decomposition ††This research was supported in part by the National Science Foundation under grants numbered MIP 8921842 and MIP 9208745.

Contact Info

Product

Resources

About