SIS: A system for sequential circuit synthesis. Memorandum UCB/ERL (1992)