Title: Lecture notes on hardware description languages