U.S. federal trademark · Serial No. 75837031
software that analyzes graphically finite state machines in a very large scale integration hardware design
Source: USPTO federal trademark records. Informational only, not legal advice. Status and details may lag the live USPTO database.