Automatic verification of library-based IC designs. - Ton Kostelijk; Bart De Loore (IEEE J. Solid State Circuits, 1991)

Misleading Architecting Tradeoffs. - Ton Kostelijk (Computer, 2005)