Advertisement

Experience with specification and verification of hardware using PROLOG

  • Norihisa Suzuki
Chapter 4 VLSI Design And Testing
  • 133 Downloads
Part of the Lecture Notes in Computer Science book series (LNCS, volume 163)

Abstract

A most important step in VLSI chip design is to write functional specifications very early in the design to debug the top-level protocols. Previously we developed a highly procedural concurrent language Sakura for functional specification; we described a complex memory system by Sakura. In this paper we take a completely opposite approach. We used PROLOG, a language based on predicate calculus, to write the behavior of the hardware as well as requirement specifications of the memory system of Dorado, a high-performance personal computer. Even though the styles of these languages are very different, we used similar methods to verify the specifications. We attached executable specifications. We attached executable requirement specifications in the form of input and output specifications. We compare these experiences.

Keywords

Memory System Functional Specification Prolog Program Cache Block Virtual Address 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. [1]
    Chikayama, T. “Utilisp Manual,” Technical Report METR 81-6, Department of Mathematical Engineering and Instrumentation Physics, University of Tokyo, September 1981.Google Scholar
  2. [2]
    Clark, D. W. et al. “Memory System of a High-Performance Personal Computer,” Technical Report CSL-81-1, Xerox Palo Alto Research Center, January 1981.Google Scholar
  3. [3]
    Lampson, B. W. and Pier, K. A. “A Processor for a High-Performance Personal Computer,” Technical Report CSL-81-1, Xerox Palo Alto Research Center, January 1981.Google Scholar
  4. [4]
    Lampson, B. W. et al. “Instruction Fetch Unit for a High-Performance Personal Computer,” Technical Report CSL-81-1, Xerox Palo Alto Research Center, January 1981.Google Scholar
  5. [5]
    Mitchell, J. G. et al. “Mesa Language Manual,” Technical Report CSL-79-3, Xerox Palo Alto Research Center, April 1979.Google Scholar
  6. [6]
    Nakashima, H. “Prolog/KR User's Manual,” Technical Report METR 82-4, Department of Mathematical Engineering and Instrumentation Physics, University of Tokyo, March 1982.Google Scholar
  7. [7]
    Suzuki, N. and Burstall, R. “Sakura: a VLSI Modelling Language,” Proc. Conf. on Advanced Research in VLSI, Artech House, Dedham, Mass., 1981.Google Scholar
  8. [8]
    Warren, D. H. D. “Implementing PROLOG-Compiling Predicate Logic Programs,” DAI Research Report 39–40, University of Edinburgh, May 1977.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • Norihisa Suzuki
    • 1
  1. 1.Information Engineering Course Graduate SchoolUniversity of TokyoTokyo

Personalised recommendations