http://www.srikiran.net/blog/2007/01/22/formal-verification-of-soc/ Kiran Bulusu is an Field Applications Engineer with experience in the domain of Formal Verification, Logic Synthesis, DFT,Timing Closure, Floorplan and Place and Route, ,RTL-GDSII Design Methodology and Flow development,Pre-Sales and Post-Sales of the product. He is an evangelist and has expereince in technical marketing in EDA and Semiconductor industry. He is currently employed at Magma Design Automation. Tue, 06 Jan 2009 07:34:56 +0000 http://wordpress.org/?v=2.6.2