U.S. federal trademark · Serial No. 74158158
computer programs for a fully automatic test generation system for sequential and combinational digital logic circuits
Source: USPTO federal trademark records. Informational only, not legal advice. Status and details may lag the live USPTO database.