Decomposition of Sequential Behavior UsingInterface Specification and Complementation

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.

[1]  Daniel D. Gajski,et al.  Essential Issues and Possible Solutions in High-Level Synthesis , 1991 .

[2]  Gaetano Borriello.  Specification and Synthesis of Interface Logic , 1991 .

[3]  George J. Milne,et al.  Contextual Constraints for Design and Verification , 1988 .

[4]  Lech Jóźwiak,et al.  Simultaneous decompositions of sequential machines , 1990, Microprocessing and Microprogramming.

[5]  Steven D. Johnson.  Manipulating Logical Organization with System Factorizations , 1989, Hardware Specification, Verification and Synthesis.

[6]  Andreas Kuehlmann,et al.  High-level state machine specification and synthesis , 1992, Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors.

[7]  Steven D. Johnson,et al.  Toward a Basis for Protocol Specification and Process Decomposition , 1993, CHDL.

[8]  Ganesh Gopalakrishnan,et al.  HOP: A process model for synchronous hardware; semantics and experiments in process composition , 1989, Integr..

[9]  Maciej J. Ciesielski,et al.  Finite state machine decomposition using multiway partitioning , 1992, Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors.

[10]  Steven D. Johnson,et al.  Derivation of a DRAM memory interface by sequential decomposition , 1993, Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93.