Dennis Furey
CAD Circuits Engineering Optimization asynchronous combinatorial optimization delay-insensitive design automation formal methods