The mathematical and technical background information for our highly efficient procedure of circuit recognition and verification from layout information is presented. Completeness and extremely short computing times are the main features. This procedure can be performed for bipolar as well as for MOS technologies and is part of the whole control system LOCATE.
/lp/association-for-computing-machinery/circuit-recognition-and-verification-from-bipolar-and-mos-layout-jL00MIgfpI