Title: Designing Correct Circuits