Intellectual Property for Integrated Circuits by Kiat-Seng Yeo