Title: Designing correct circuits
Subjects: Circuits, Computer-aided design, Congresses, Data processing, Electronic circuit design, Electronic digital computers, Design and construction