Improving Digital Circuit Simulation with Batch-Parallel Logic Evaluation.

Maria Patrou Jean-Philippe Legault Aaron Graham Kenneth B. Kent

Published in: DSD (2019)

Keyphrases

digital circuits
data flow
analog circuits
model based diagnosis
finite state machines
functional decomposition
parallel implementation
asynchronous cellular automata
database
evaluation method
evaluation model
circuit design
parallel processing
logic programming
proof theory
low cost
knowledge representation