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
VL - 24
SP - 11
EP - 21
JO - Systems and Computers in Japan
JF - Systems and Computers in Japan
SN - 0882-1666
IS - 2
ER -