Reduced models behavior vlsi circuits door Genderen