Joerg Walter Functional Verification of the IBM zSeries eServer z900 System. 17- 2002 conf/iccd/2002 ICCD http://csdl.computer.org/comp/proceedings/iccd/2002/1700/00/17000017abs.htm db/conf/iccd/iccd2002.html#Walter02