A query‐based parallel logic simulation algorithm

Tomohiro Kudoh, Tetsuro Kimura, Hideharu Amano, Takuya Terasawa

Research output: Contribution to journalArticlepeer-review


LOGIQUE (LOGIc simulation with QUEry) is a parallel logic simulation algorithm for parallel machines with a shared memory. In order to make the best use of the parallelism, queries are issued aggressively. The large overhead in the traditional query‐based parallel discrete event simulation (PDES) algorithm is reduced by replacing the query message with a reference to the shared variables. LOGIQUE has been implemented on a multiprocessor and used to simulate logic circuits. The results, which demonstrate the efficiency of LOGIQUE, are presented.

Original languageEnglish
Pages (from-to)11-21
Number of pages11
JournalSystems and Computers in Japan
Issue number2
Publication statusPublished - 1993


  • LOGIQUE algorithm
  • parallel logic simulation algorithm
  • parallel machines with shared memory
  • query‐based system

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Information Systems
  • Hardware and Architecture
  • Computational Theory and Mathematics


Dive into the research topics of 'A query‐based parallel logic simulation algorithm'. Together they form a unique fingerprint.

Cite this