U.S. federal trademark · Serial No. 78271828 · Reg. No. 2865150
Computer software for electronic design automation of semiconductor integrated circuit verification of stored logic value correctness
Source: USPTO federal trademark records. Informational only, not legal advice. Status and details may lag the live USPTO database.