Efficient algorithm based on BDD for MOS network

The authors presented an efficient algorithm based on BDD to support technology dependent of MOS network efficient filters and algorithm that use them to detect negative junctions are presented. Further, an efficient algorithm for classifying each variable of a BDD as positive, negative or binate is presented. Experimental results show that the algorithms are very efficient compared to the simple methods.