Extraction of finite state machines from transistor netlists by symbolic simulation