Generalized Recognition Of Gates: a VLSI abstraction tool

Summary form only given. The Generalized Recognition Of Gates is an innovative and technology independent tool of abstraction. It translates any VLSI or ASIC microelectronic circuit from its netlist format into both VHDL and VERILOG descriptions which express its behavior. The CMOS, NMOS, bipolar and BiCMOS technologies can all be handled. One of the most important characteristics of the tool is that it is driven by an external library of rules. This reverse engineering approach is fast and well adapted to both the verification and the technology migration tasks.