Report 82 02 The Partitioning of Concerns in Digital

This paper* proposes the use of explicit austraction levels to organize decision making in digital design. These levels partition the concerns that a designer must consider at any time. They provide terms and composition rules for the composition of structural descriptions within a level. This allows multiple opportunities for mapping behavior into structure. A version of this paper was presented at the Conference on Advanced Research in VLSI, Massachusetts Institute of Technology, Cambridge, Massachusetts, January 25-27, 1982.