Classification Information
COMPUTER SOFTWARE FOR USE IN DESIGNING INTEGRATED CIRCUITS WHERE TWO DIGITAL CIRCUITS ARE COMPARED AND CHECKED TO DETERMINE IF THEY ARE FUNCTIONALLY EQUIVALENT
Electrical and Scientific ApparatusCOMPUTER SOFTWARE FOR USE IN DESIGNING INTEGRATED CIRCUITS WHERE TWO DIGITAL CIRCUITS ARE COMPARED AND CHECKED TO DETERMINE IF THEY ARE FUNCTIONALLY EQUIVALENT
Electrical and Scientific Apparatus