Formal Approach to Hardware Design | lit.salon