CMOS functional abstraction
Methods for functional abstraction of CMOS circuits extract the behavior of a transistor netlist. In the simplest case the abstract boolean function of a simple CMOS gate can be found. More complicated examples are recognition of feed-back loops to detect state holding elements such as latches and flip-flops. A method of functional abstraction called 'circuit disassembly' can be found in .
- Anthony Lester, Pirouz Bazargan-Sabet, Alain Greiner, YAGLE, a Second generation Functional Abstractor for CMOS VLSI Circuits, https://dx.doi.org/10.1109/ICM.1998.825615