SAT based solutions for detailed routing of island style FPGA architectures.

Shyamapada Mukherjee Suchismita Roy

Published in: Microelectron. J. (2015)

Keyphrases

real time
real time image processing
low cost
domain specific
routing algorithm
sat solvers
optimal solution
multi agent systems
signal processing
shortest path
domain independent
version space
interconnection networks