Analyzing Circuits