Query-based parallel logic simulation algorithm

Tomohiro Kudoh, Tetsureo Kimura, Hideharu Amano, Takuya Terasawa

Research output: Contribution to journalArticle

Abstract

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
Volume24
Issue number2
Publication statusPublished - 1993

Fingerprint

Query
Logic
Logic circuits
Discrete event simulation
Parallel Discrete Event Simulation
Simulation
Parallel Machines
Shared Memory
Multiprocessor
Data storage equipment
Parallelism
Demonstrate

ASJC Scopus subject areas

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

Cite this

Kudoh, T., Kimura, T., Amano, H., & Terasawa, T. (1993). Query-based parallel logic simulation algorithm. Systems and Computers in Japan, 24(2), 11-21.

Query-based parallel logic simulation algorithm. / Kudoh, Tomohiro; Kimura, Tetsureo; Amano, Hideharu; Terasawa, Takuya.

In: Systems and Computers in Japan, Vol. 24, No. 2, 1993, p. 11-21.

Research output: Contribution to journalArticle

Kudoh, T, Kimura, T, Amano, H & Terasawa, T 1993, 'Query-based parallel logic simulation algorithm', Systems and Computers in Japan, vol. 24, no. 2, pp. 11-21.
Kudoh, Tomohiro ; Kimura, Tetsureo ; Amano, Hideharu ; Terasawa, Takuya. / Query-based parallel logic simulation algorithm. In: Systems and Computers in Japan. 1993 ; Vol. 24, No. 2. pp. 11-21.
@article{22285ac27e13463fbd4bc367ab2c4308,
title = "Query-based parallel logic simulation algorithm",
abstract = "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",
author = "Tomohiro Kudoh and Tetsureo Kimura and Hideharu Amano and Takuya Terasawa",
year = "1993",
language = "English",
volume = "24",
pages = "11--21",
journal = "Systems and Computers in Japan",
issn = "0882-1666",
publisher = "John Wiley and Sons Inc.",
number = "2",

}

TY - JOUR

T1 - Query-based parallel logic simulation algorithm

AU - Kudoh, Tomohiro

AU - Kimura, Tetsureo

AU - Amano, Hideharu

AU - Terasawa, Takuya

PY - 1993

Y1 - 1993

N2 - 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

AB - 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

UR - http://www.scopus.com/inward/record.url?scp=0027885493&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0027885493&partnerID=8YFLogxK

M3 - Article

VL - 24

SP - 11

EP - 21

JO - Systems and Computers in Japan

JF - Systems and Computers in Japan

SN - 0882-1666

IS - 2

ER -