Title: Computer aids to logic system design