IESS 2007: Irvine, CA, USA

Validation and Verification

Automotive Applications

Hardware Synthesis

Specification and Partitioning

Design Methodologies

Embedded Software

Network on Chip

Medical Applications

Distributed and Network Systems

Panel

Tutorials