Title: Towards a formalization of digital circuit design
Subjects: Digital electronics, Electronic circuit design, Integrated circuits