Advertisement

A parallel logic simulator based on Concurrent Prolog

  • Yasunori Noda
  • Tetsuo Kinoshita
  • Akira Okumura
  • Tatsuro Hirano
  • Tadashi Hiruta
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 221)

Abstract

Using the framework of the parallel logical language. Concurrent Prolog, the concepts and the strategies for the parallel logic simulation are defined. Some types of a prototypical parallel logic simulator are implemented by Concurrent Prolog, and they are used for logic simulations of some sample objects. The performance and the applicability of Concurrent Prolog in the parallel logic simulation will be discussed.

Keywords

Parallel Processing Input Port Digital System Global Type Parallel Logic 
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.

Reference

  1. Chandy K. Misra J (1979): Distributed Simulation: A Case Study in Design and Verification of Distributed Program. IEEE Trans. on Software Engineering. No. 5, SE-5.Google Scholar
  2. Furukawa K. Takeuchi A. Kunifuji S (1984): Mandala: Knowledge Programming System on the Logic Programming Language. ICOT Technical Report. TR-043, (in Japanese).Google Scholar
  3. Koekawa I, Nakagawa H (1981): On the evaluation of the parallel type logical simulator, Research Memo 10-9, JIPS, (in Japanese).Google Scholar
  4. Noda Y, Kinoshita T, Okumura A, Hirano T (1984): On the structure of the CAD system. Logic Programming Conference 84, 14–5, (in Japanese).Google Scholar
  5. Shapiro Y (1983): A Subset of Concurrent Prolog and its Interpreter, ICOT Technical Report. TR-003.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Yasunori Noda
    • 1
  • Tetsuo Kinoshita
    • 2
  • Akira Okumura
    • 2
  • Tatsuro Hirano
    • 1
  • Tadashi Hiruta
    • 1
  1. 1.Design Automation Center Engineering Administration DivisionOKI Electric Industry Co. Ltd.TokyoJapan
  2. 2.Artificial Intelligence Sect., Knowledge Information Processing R&D Dept.Systems LaboratoryJapan

Personalised recommendations