|
 |
|
| Events |
2008 EVENTS
 |
|
2/19/08 - 2/21/08
|
DVCon
San Jose, CA
|
|
3/11/08 - 3/14/08
|
Design and Test Europe (DATE)
Munich, Germany
|
|
6/9/08 - 6/13/08
|
Design Automation Conference (DAC)
Anaheim, CA
Kathryn Kranen, CEO Jasper Design Automation, chairs the WIRELESS PAVILION PANEL: Today's Consumers: High Schoolers Spec Your Next Product. Monday June 09, 2008, 3:00 PM - 3:45 PM | Booth #364 (Pavilion)
Ziyad Hanna will chair the Formal Verification Technology session at DAC. This session presents four papers that advance the state-of-the-art in formal verification technology, making formal verification tools more efficient and usable. Speakers include: In-Ho Moon, Synopsys, Inc., Malay Ganai, NEC Labs America, Yan Chen, Portland State Univ., and Paul T. Darga, Univ. of Michigan.
|
|
7/7/08 - 7/14/08
|
International Conference in Computer Aided Verification (CAV)
Princeton, NJ
|
|
11/17/08 - 11/20/08
|
Formal Methods in Computer Aided Design (FMCAD) 2008
Portland, OR
|
click
here to see past events |
| |
|
| |
|
| |
|
|
 |
|
|
|
|
|
|
|
|
|
|
|
|
