Suman Kumar Ray Email and Phone Number

In my earlier companies, I worked initially in FORTRAN compiler development and C compiler back-end for embedded and games (PS2) platform. In C compiler, I worked mainly in implementation of compiler optimizations, features etc. During last many years, I have worked on optimization on Verilog RTL simulator, compiler optimization, tools on assertion based formal verification technology etc.. Specialties: HDL Simulator optimization, Formal Verification, Compiler back-end, Optimization, Verilog, C, Assembly, VHDL, Verification/Simulation.