VLSI Society of India

www.vlsi-india.org/vsi

 

Workshop on Verification Methodologies

November 25, 2005

Venue: Hotel Atria, Bangalore, India

IEEE Circuits and Systems Society,

Bangalore Chapter

www.ieee.org

 
VSI Home   VSI Events

Workshop Goals

Design Verification is one of the most time-consuming of all the steps in the design flow. Many new methodologies are emerging to improve the cycle time of design verification. This workshop will provide an exposure to some of the recent developments in VLSI Design Verification.

     

Agenda:

Schedule
08.30 AM – 09.00 AM Registration
09.00 AM – 09.15 AM

Inauguration

Design Verification Forum – India: Mission and Campaign – Harish Y.S., Texas Instruments India

09.15 AM – 10.30 AM

Mahesha Puttanna, Wipro Technologies

Getting to 100% Functional Coverage – Challenges for the Verification Engineer

10.30 AM – 11.00 AM Tea Break
11.00 AM – 12.00 NN

Srinivasan Venkataramanan, Synopsys, India and Badri Gopalan, Ageia Technologies

An Overview of System Verilog

12.00 NN – 01.00 PM

Venkatesan Swaminathan, Intel, Bangalore

An Environment for executing full chip pre-silicon environment on Pos-silicon

01.00 PM  – 02.00 PM

Lunch

02.00 PM  – 03.00 PM

Vinaya Singh, Cadence Design Systems

Is Formal ABV usable for real verification?

03.00 PM  – 04.00 PM

Sundaresan Kumbakonam, Broadcom

How HVL based environments are beneficial over Verilog/C based environments

04.00 PM  – 04.30 PM Tea Break
04.30 PM  – 05.30 PM

Venkatesh Natarajan

Emulation-based Verification

05.30 PM  – 06.00 PM Conclusions
 
 
     
Speaker Profiles:
Speakers
Mahesha Puttanna Mahesha Puttanna is verification lead and a consultant at Wipro technologies with 8 years of experience in ASIC Verification.   He has been instrumental in developing verification methodology for complex ASICs that has consistently delivered first silicon success. He developed test benches using languages like Verilog, VHDL, Vera and Specman.  Mahesha earned his M. Tech from Sri Jayachamarajendra college of engineering, Mysore.
Srinivasan Venkataramanan Srinivasan Venkataramanan is a senior Verification Solutions engineer with Synopsys Bangalore with extensive experience in pre-silicon verification. His primary interests are in constrained random, coverage driven, and assertion based verification. He has co-authored two books on assertion based verification and has published several papers in different forums. He holds a Masters degree in VLSI Design from IIT Delhi. He has work experience at Intel and Philips in the areas of RTL design and Pre-Silicon Verification.
Badri Gopalan Badri Gopalan has extensive experience working with HDLs and HVLs as a user, developer and architect. He currently works at Ageia Technologies. He has spent about 10 years at Synopsys, Riverstone Networks, and Cadence Design Systems. Badri has an MSEE from the University of Maryland, College Park and a B.Tech (EE) from IIT Bombay.
Venkatesan Swaminathan Vekatesan Swaminathan has several years of industry experience in design verification, test generators for pre silicon and post silicon environments. His interests are in validation environments for today's networking and processor platforms and building pre silicon environments, which can be reused for post silicon testing. He has published papers in various forums like IPSOC.
Sundaresan Kumbakonam Sun Kumbakonam has over 16 years of experience in the field of Design Verification, working/consulting at HP, Phillips Semiconductors and Broadcom.  He has verified complex SOC's in different domains with the help of environments using home brewed Verilog/C/PLI test benches and those using advanced features of Specman and VERA. He contributed as a reviewer of the book, Design Verification with E, by Samir Palnitkar.  He leads the Network Switching Design Group for Broadcom India.
Venkatesh Natarajan Venkatesh Natarajan has a B.E (Electronics) degree from University Visvesvaraya College of Engineering, Bangalore (1991). After spending a year with CMC Ltd, he has been with Texas Instruments since 1992. He started his career in TI in the memory modeling group and later moved to the C27x and C28x CPU architecture and verification team. His areas of expertise and current focus are CPU and debug architectures (CPU emulation) and hardware emulation and prototyping techniques for SoC. 
Vinaya Singh Vinaya Singh is M.Tech in computer science from IIT Bombay and  has over 10 years of experience in EDA product developments in the area of verification and synthesis. Vinaya is member of Accellera OVL committee and was task leader  of IEEE VHDL synthesis standard 1076.6-2004. Vinaya holds two patents in the area of formal verification. Currently he is working as Senior Member of Consulting Staff  at Cadence NOIDA R&D facility.
Harish Y.S Harish Y.S. has an MS degree from BITS, Pilani, BE (Electronics & Comm)degree from BVBCET, Karnataka University (1998). His work experience includes 1 year at the Indian Institute of Science and six years with Texas Instruments, where he is involved in CPU design and verification. His area of focus is functional verification, methodologies for verification involving test generation, formal techniques and non-volatile memory testing.
     

Registration Fees:

 
Course Fee

Before October 31, 2005

After October 31, 2005

Professionals (Non- Members)

Rs. 1,500/-

Professionals (Non- Members)

Rs. 2,000/-

Professionals (VSI/ IEEE members)

Rs. 1,000/-

Professionals (VSI/ IEEE members)

Rs. 1,500/-

Students (Non-members)

Rs. 600/-

Students (Non-members)

Rs. 750/-

Students (Members of VSI/ IEEE)

Rs. 500/-

Students (Members of VSI/ IEEE)

Rs. 650/-

Click here to get the registration form for workshops: