Time-Symbolic Simulation for Accurate Timing Verification of Asynchronous Behavior of Logic Circuits.

Nagisa Ishiura Mizuki Takahashi Shuzo Yajima

Published in: DAC (1989)

Keyphrases

logic circuits
asynchronous circuits
low power
asynchronous cellular automata
simulation model
functional decomposition
power consumption
real robot
low cost
high speed
agent based models
gate array