Introduction to logic design (2nd ed.)