Hardware description languages: some recent developments - Davie, Bruce S. (1986)