Anton Belov, Ph.D.

Electronic Design Automation R & D | Static Timing Analysis | Formal Methods | C++ Perf/Cap