Subject :
Integrated Circuits- Very Large Scale Integration- Design and Construction- Data Processing+Computer Algorithms+Data Structures )Computer Science(+Data Structures for Switching Functions+Implementation of OBDDs+Optimizing the Variable Order+Applicationa and Extensions+Symbolic Model Checking+Transformation Techiques for Optimization