A Tactical Framework for Hardware Design

  • Steven D. Johnson
  • Bhaskar Bose
  • C. David Boyer
Part of the The Kluwer International Series in Engineering and Computer Science book series (SECS, volume 35)

Abstract

This work explores an algebraic approach to digital design. A collection of transformations has been implemented to derive circuits, but “hardware compilation” is not a primary goal. Paths to physical implementation are needed to explore the approach at practical levels of engineering. The potential benefits are more descriptive power and a unified foundation for design automation. However, these prospects mean little when the algebra is done manually. Hence, a basic, automated algebra is prerequisite to our experimentation with design methods.

Keywords

Burner Coherence Hunt Encapsulation Prefix 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Altera Corporation, Altera Programmable Logic User System User Guide (Version 4.0), Altera Corporation, Santa Clara, 1985.Google Scholar
  2. [2]
    Bose, Bhaskar, Hardware Derivation from a High Level Specification: an Automated Transformation System Implementation, in progress.Google Scholar
  3. [3]
    Boute, R. T., Current Work on the Semantics of Digital Systems, in G. Milne and P. Subrahmanyam (eds.) Formal Aspects of VLSI Design, North-Holland, Amsterdam, 1986, 99–112.Google Scholar
  4. [4]
    Boyer, C. David, A Transformationally Correct Hardware Garbage Collector Implementation, in progress.Google Scholar
  5. [5]
    Cinger, William C., The Scheme 312 Version 4 Reference Manual, 1985 (unpublished).Google Scholar
  6. [6]
    Cohn, Avra, A Proof of Correctness of the Viper Microprocessor: The First Level, this volume. Google Scholar
  7. [7]
    Fenichel, R., and J. Yochelson, A LISP garbage-collector for virtual-memory computer systems, Comm. ACM 12(11):611–612 (1969).MATHCrossRefGoogle Scholar
  8. [8]
    Gordon, Mike, Proving a Computer Correct, University of Cambridge Computer Laboratory Technical Report No. 42, Cambridge, 1983.Google Scholar
  9. [9]
    Harel, David, On folk theorems Comm. ACM 23 (7):379–389, (1980)MATHCrossRefGoogle Scholar
  10. [10]
    Hill, F. J. and G. R. Peterson, Introduction to Switching Theory and Logical Design (Third Ed.), John Wiley&Sons, New York, 1981.MATHGoogle Scholar
  11. [11]
    Hunt, Warren A., Jr., FM8501: A verified Microprocessor, Ph.D. dissertation, Technical Report 47, Institute for Computing Science, The University of Texas at Austin, 1985.Google Scholar
  12. [12]
    Johnson, Steven D., Digital Design in a Functional Calculus, in G. Milne and P. Subrahmanyam (eds.) Formal Aspects of VLSI Design, North- Holland, Amsterdam, 1986, 153–178.Google Scholar
  13. [13]
    Johnson, Steven D., Applicative Programming and Digital Design, Proc. Eleventh Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (1984), 218–227.Google Scholar
  14. [14]
    Johnson, Steven D., Synthesis of Digital Designs from Recursion Equations, The ACM Distinguished Dissertation Series, The MIT Press, 1984.Google Scholar
  15. [15]
    Joyce, Jeffrey, Formal Verification and Implementation of a Microprocessor, this volume. Google Scholar
  16. [16]
    O’Donnell, John T., Hardware Description with Recursion Equations, Proc. 8th International Symposium on Computer Hardware Description Languages and their Applications, Amsterdam, April, 1987.Google Scholar
  17. [17]
    Prosser, Franklin P., and David E. Winkel, The Logic Engine Development System—Support for Microprogrammed Bit-Slice Development, Proc. Micro 16, 84–91.Google Scholar
  18. [18]
    Rees, Jonathan and William C. Clinger (eds.), Revised3 Report on the Algorithmic Language Scheme, Indiana University Computer Science Department Technical Report No. 174, Bloomington, December, 1986.Google Scholar
  19. [19]
    Scott, Walter S., Robert N. Mayo, Gordon Hamachi, and John K. Ousterhout (eds.), 1986 VLSI Tools, Report No. UCB/CSD 86/272, Computer Science Division (EECS), University of California at Berkeley, 1985.Google Scholar
  20. [20]
    Winkel, David E., What Next for PALs. Technical Report No. 188, Indiana Univ. Computer Science Dept., Bloomington, Indiana, February, 1986.Google Scholar
  21. [21]
    Winkel, David E. and Christopher T. Haynes, Hardware Design Using Functionally Connected Units, Indiana University Computer Science Dept. Technical Report No. 219, submitted for publication. Google Scholar
  22. [22]
    Winkel, David E., and Franklin P. Prosser. The Art of Digital Design, 2nd Edition Prentice-Hall, Englewood Cliffs, New Jersey, 1986.Google Scholar

Copyright information

© Kluwer Academic Publishers, Boston 1988

Authors and Affiliations

  • Steven D. Johnson
    • 1
  • Bhaskar Bose
    • 1
  • C. David Boyer
    • 1
  1. 1.Computer Science DepartmentIndiana UniversityBloomingtonUSA

Personalised recommendations