Trademarks owned by Verisity Design, Inc.