Steven D. Johnson. Applicative programming and digital design. In Proceedings Eleventh Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pages 218--227, 1984. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Decomposing Digital-system Specifications into Interacting.. - Johnson (1991) (Correct)
....b p f g p p x y f g f g f g f g In application, this factored module is generally abstract, relative to the residual system, and so acts as a behavioral specification. Factorizations develop implementation architecture [20] provide a way to encapsulate complex data objects [17, 15]; and can generate certain kinds of environmental constraints [19] Incorporating registers in a factorization gives a trivial form of sequential decomposition. 1.4.4 Communication Hardware behaviors are not just functions from values to values. The canonical specification has signature: F : ....
Steven D. Johnson. Applicative programming and digital design. In Proceedings Eleventh Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pages 218--227, 1984.
Hardware Description with Recursion Equations - O'Donnell (1987) (4 citations) (Correct)
....[33] Scheme [29] ML [23] SASL [34] Lucid [35] etc. I have implemented HDRE in Daisy [18, 19] which is ideal because of its suspended list constructor. One of the advantages of HDRE is its ability to run in many existing languages. HDRE is based on previous work by Gordon [8] and Johnson [14, 15, 16, 17]. A related approach, which considers many aspects of a circuit in addition to its structure and behavior, is functional descriptions of systems [4] The main innovations in HDRE are its exploitation of sets of recursion equations inside letrec expressions to describe levels of abstraction ....
....line breaks between the lists. The character makes the rest of an input line into a comment. Executing SRtestdata = 3 11 21] SHR Shift right [OPCODE LI RI] 3 12 22] SHR Shift right [3 13 23] SHR Shift right [3 14 24] SHR Shift right [2 15 25] SHL Shift left [1 16 26] NOP Stay with previous value draft 87hdre.tex 8 July 19, 1994 at 12:12 [0 17 27] CLR Clear [2 18 28] SHL Shift left [1 19 29] STA Stay with previous value ] Shift Register Simulation: lines : transpose : meaning : SR behaviorprimitives ) transpose : inputs yields ....
Johnson, Steven D., "Applicative Programming and Digital Design", Eleventh Annual ACM Symposium on Principles of Programming Languages, pp. 218--227, 1984.
DDD: A System for Mechanized Digital Design Derivation - Johnson, Bose (1997) (11 citations) Self-citation (Johnson) (Correct)
....specifications into hierarchical boolean systems, to which logic synthesis tools are then applied. It operates on a dialect of functional modeling expressions, providing a uniform and visible representation of the design. Previous articles develop the theoretical underpinnings of the formalization [14, 13, 15, 16, 33, 34, 35]; and mention DDD in the context of large examples [17, 3, 18] However, these papers give few details about the experience of using the system. Our goal in this paper is to give a more complete picture of the derivation process. With two small examples we examine the sequence of intermediate ....
....on operation symbols, limited used of imperative modeling techniques can coexist effectively with the derivation process. 5.1 Behavior to Structure An initial system expression is derived automatically. Figure 3 shows the resulting system expression. Details of the construction are given in [13, 14, 15]. The key step is to define a selection combination representing the control structure of the specification: S E L E C T s p0 p1 p2 p3 p4 p5 p6 v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 define select = s p0 p1 p2 p3 p4 p5 p6) v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11) case s (get (if p0 (if p1 v0 ....
Steven D. Johnson. Applicative programming and digital design. In Proc. Eleventh Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming (POPL'84), pages 218--227, 1984.
Toward a Basis for Protocol Specification and Process.. - Rath, Johnson (1993) (1 citation) Self-citation (Johnson) (Correct)
....Keywords: Input Output and Data Communications, Interconnections (subsystems) Performance Analysis and Design Aids; Specifying and Verifying and Reasoning about Programs 1. Introduction Design derivation is a branch of formal verification that deals with correct by construction reasoning. [12, 14, 15, 13]. A system of equivalence preserving transformations are used to derive an implementation from a specification. We can view such a derivation as a formal proof reflecting a top down reasoning style. In this respect it should not be viewed as an alternative for deductive (i.e. conventional ....
Steven D. Johnson. Applicative programming and digital design. In Proceedings of 11th Annual SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pages 218--227, 1984.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC