Trademarks, and Service Marks of Oski Technology, Inc.
Oski Technology, the Oski Technology logo and Abstraction Model are trademarks of Oski Technology, Inc.
Service Marks (℠)
End-to-End Formal and Plan-Verify-Measure are service marks of Oski Technology, Inc.
Cadence, the Cadence logo, Conformal and Incisive are registered trademarks of Cadence Design Systems, Inc. Mentor Graphics, the Mentor Graphics logo, 0-In and Questa are registered trademarks of Mentor Graphics Corporation. Synopsys, the Synopsys logo, Formality and VCS are registered trademarks of Synopsys, Inc. Magellan is a trademark of Synopsys, Inc. All other product or company names may be trademarks of their respective owners.