U.S. federal trademark · Serial No. 75904679 · Reg. No. 2406447
computer software for electronic design automation, symbolic timing analysis and verification
Source: USPTO federal trademark records. Informational only, not legal advice. Status and details may lag the live USPTO database.