Using platform independent models to proliferate code across multiple application environments By September 9, 2009
Survey of Chip Designers on the Value of Formal Verification Across the Spectrum of Applications By September 8, 2009