𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A query-based parallel logic simulation algorithm

✍ Scribed by Tomohiro Kudoh; Tetsuro Kimura; Hideharu Amano; Takuya Terasawa


Publisher
John Wiley and Sons
Year
1993
Tongue
English
Weight
870 KB
Volume
24
Category
Article
ISSN
0882-1666

No coin nor oath required. For personal study only.

✦ Synopsis


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.


πŸ“œ SIMILAR VOLUMES


A stepwise-overlapped parallel simulated
✍ Youngtak Kim; Myunghwan Kim πŸ“‚ Article πŸ“… 1990 πŸ› Elsevier Science 🌐 English βš– 937 KB

This paper proposes a parallel annealing algorithm, called stepwise-overlapped annealing, that can be efficiently implemented to a multiprocessor system with a large number of processors such as hypercube computers. It is an improved aigorithm of the systolic annealing that was ,proposed by Aarts et

A Multiple-Heaps Algorithm for Parallel
✍ Mo Mu πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 144 KB

We consider the parallel simulation of collision systems. It has wide application, such as in hard-sphere molecular dynamics simulation for gas dynamics and crystals, as well as in studying molecular collision dynamics of chemical reactions. With detailed analysis, proper data structures are designe

Parallel optical fuzzy logic inference u
✍ Shuqun Zhang; Mohammad A. Karim πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 167 KB

A new optoelectronic fuzzy inference system is proposed for processing a large number of fuzzy rules in parallel. The proposed system using spatial light modulator implements various membership functions as well as max-min inference. It has the features of easy implementation and large data processi