Towards a formalization of digital circuit design | lit.salon