The Synthesis approach to digital system design | lit.salon