Board-level multiterminal net routing for FPGA-based logic emulation.

Wai-Kei Mak D. F. Wong

Published in: ACM Trans. Design Autom. Electr. Syst. (1997)

Keyphrases

higher level
routing protocol
lower level
automated reasoning
proof theory
database
data sets
knowledge base
image processing
database systems
response time
logic programming
ad hoc networks
modal logic
classical logic