The leading provider of formal assertion-based verification software for electronic chip design
 Copyright® 2005 Real Intent, Inc.