"Design centric modeling of digital hardware."

Johannes Schreiner, Rainer Findenig, Wolfgang Ecker (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics