A query‐based parallel logic simulation algorithm

Tomohiro Kudoh; Tetsuro Kimura; Hideharu Amano; Takuya Terasawa

doi:10.1002/scj.4690240202

A query‐based parallel logic simulation algorithm

Tomohiro Kudoh, Tetsuro Kimura, Hideharu Amano, Takuya Terasawa

Department of Information and Computer Science

Research output: Contribution to journal › Article › peer-review

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 language	English
Pages (from-to)	11-21
Number of pages	11
Journal	Systems and Computers in Japan
Volume	24
Issue number	2
DOIs	https://doi.org/10.1002/scj.4690240202
Publication status	Published - 1993

Keywords

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

Access to Document

10.1002/scj.4690240202

Cite this

@article{22285ac27e13463fbd4bc367ab2c4308,

title = "A 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.",

keywords = "LOGIQUE algorithm, parallel logic simulation algorithm, parallel machines with shared memory, query‐based system",

author = "Tomohiro Kudoh and Tetsuro Kimura and Hideharu Amano and Takuya Terasawa",

year = "1993",

doi = "10.1002/scj.4690240202",

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 - A query‐based parallel logic simulation algorithm

AU - Kudoh, Tomohiro

AU - Kimura, Tetsuro

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.

KW - LOGIQUE algorithm

KW - parallel logic simulation algorithm

KW - parallel machines with shared memory

KW - query‐based system

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

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

U2 - 10.1002/scj.4690240202

DO - 10.1002/scj.4690240202

M3 - Article

AN - SCOPUS:0027885493

SN - 0882-1666

VL - 24

SP - 11

EP - 21

JO - Systems and Computers in Japan

JF - Systems and Computers in Japan

IS - 2

ER -

A query‐based parallel logic simulation algorithm

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this