Title: Designing correct circuits
Subjects: Logic circuits, Congresses, Electronic circuit design, Computer-aided design, Data processing, Electronic circuit design, data processing