Title: Semantics of digital circuits
Subjects: Digital integrated circuits, STREAM (Computer hardware description language), Entwurf, STREAM (Langage de description de matériel informatique), Formale Semantik, VLSI, Circuits intégrés numériques