Article on Assertive Design in Electronic Design - July 7, 2005 Article on Assertive Design in Mass High Tech - June 6, 2005 Paper on Formal Verification by Mike Concannon - June 1, 2005 EE Times Article on Us - April 20, 2005 Portable Design Article on Us - April 15, 2005