Semantics of VLSI synthesis. - Marcel Rene Van der Goot (1995)