Rammig, Franz Josef: Logic design and simulation / Mixed level modelling and simulation of VLSI systems. In: Logic design and simulation. Vol.1986. 2009, page 95-134