Hardware description languages [ - Ivory, Leta (Research World, 2012)