A methodology is presented for the hierarchical, constructionally correct specification of digital controllers. It allows easy adaptation to architectural changes and straightforward preparation of documentation. Means are discussed for the rapid realization of the state diagram specification with efficient use of silicon, thus paving the way to general-purpose silicon compilation.