Hardware description languages : concepts and principles - Ghosh, Sumit