Hardware description languages concepts and principles - Ghosh, Sumit (IEEE Press series on microelectronic systems, 2000)