desired starting state. This normally occurs by toggling a reset signal upon power-up. This
paper presents an algorithm to automatically generate power-up reset circuitry thus adding
reset to an AFSM after technology mapping. This approach is independent of design
methodology since it is applied to a gate netlist. The algorithm ensures all combinational
cycles and primary outputs in the circuit are initialized. Options exist in reset generation to …