IET

Formal Verification in 2004 Raul Camposano, Sr. Vice-President, Chief Technology Officer, and General Manager, Silicon Engineering Group, Synopsys, USA

Access your personal account

Log in to see your favourites, lists and progress.

Access via institution

Not currently connected to any institutions

Connect via

Access Code

Redeem Access Code

Log in to redeem access code

This video isn’t available to you right now

Login to check your access and watch the full session.
To redeem an access code, first log in.

Login

Formal Verification in 2004

Session
Duration: 44 mins
Publication date: 16 Nov 2004
Location: IETTV_Venue, London, United Kingdom
Part of event 1st IEE EDA Tools Forum

About the session

This presentation discusses the status of formal verification in electronic design automation in 2004.

Channels

Electronics

Electronics