Decoding Formal Club Anniversary Lunch Event, "Formal Ph.D Talks: Methodology, Application, Real-World Experience"
Join us for the Decoding Formal Club Anniversary lunch event on October 23, 2014 is from 11:45 AM - 3:30 PM. Space is limited and pre-registration is required.
Three engineers with more than 60 years of combined industry experience with formal verification will share insights on formal sign-off methodology, cache coherence verification, as well as real-world formal experience verifying NVIDIA Denver CPU. Speakers include one of the pioneers of formal verification, Robert Kurshan, NVIDIA's formal engineer for CPUs and Tegra, Syed Suhaib and Oski CEO, Vigyan Singhal.
Space is limited and pre-registration is required. Register here. Event: Decoding Formal Anniversary Event, sponsored by Synopsys Date: Thursday October 23, 2014Time: 11:45 AM - 3:30 PM Venue: Computer History Museum, Mountain View
Virtualize: Ready or NotRemote workstations? Accessing graphics resources remotely? Why would you use it? How can you implement it? What about latency?The Virtualize Conference will answer your questions and provide real world guidance for industry professionals who are looking for ways to achieve more efficiency in their organizations through virtualization technologies. The conference will feature an opening tutorial, talks, and panel discussions from people who are making virtualization work in their organization.A working lunch will enable you to get direct information from your peers and vendors who are offering virtualization tools and products. In the afternoon sessions Virtualize will look at the future, what's coming in the fast changing world of virtualization and what you need to know and do to be ready. There will also be a frank look at ways to calculate a return on investment in virtualization and make the case for the technology in your organization. Date: October 30, 2014Location: Hyatt Regency San Francisco Airport1333 Bayshore HighwayBurlingame, CA 94010Registration: $299 includes continental breakfast, buffet lunch, and cocktail reception