Title: Computer analysis of circuits