FunctionalPartitioning and Simulation of DigitalCircuits