U.S. federal trademark · Serial No. 75714010
computer software designed to extract state information from hardware descriptions and automatically generate tests for the finite state machines extracted
Source: USPTO federal trademark records. Informational only, not legal advice. Status and details may lag the live USPTO database.