STATEVECTOR
computer software designed to extract state information from hardware descriptions and automatically generate tests for…
Owned by: TransEDA, Ltd.
Serial Number: 75714010
DESIGN NAVIGATOR
software that can be used at each stage of production of a very large scale integration hardware design to detect errors…
Owned by: TransEDA, Ltd.
Serial Number: 75837026
MODEL NAVIGATOR
software that checks the validity of formal mathematical properties of a very large scale integration hardware design
Owned by: TransEDA, Ltd.
Serial Number: 75837027
SPEC NAVIGATOR
software that allows a very large scale integration hardware designer to author executable specifications for such designs…
Owned by: TransEDA, Ltd.
Serial Number: 75837028
TESTBENCH NAVIGATOR
software that identifies areas of a very large scale integration hardware design that have not been tested, and automatically…
Owned by: TransEDA, Ltd.
Serial Number: 75837029
FORMAL NAVIGATOR
software that checks the validity of formal mathematical properties for a very large scale integration hardware design
Owned by: TransEDA, Ltd.
Serial Number: 75837030
STATE NAVIGATOR
software that analyzes graphically finite state machines in a very large scale integration hardware design
Owned by: TransEDA, Ltd.
Serial Number: 75837031
VERIFICATION NAVIGATOR
software that objectively measures very large scale integration hardware design testing
Owned by: TransEDA, Ltd.
Serial Number: 75837032
SPECIFICATION NAVIGATOR
software that allows a very large scale integration hardware designer to author executable specifications for such designs…
Owned by: TransEDA, Ltd.
Serial Number: 75837033
VERIFICATION FROM CONCEPT TO REALITY
software that can be used at each stage of production of a very large scale integration hardware design to detect errors…
Owned by: TransEDA, Ltd.
Serial Number: 75856785
