Title: The development of semantic functions for a system description language with multiple interpretations
Subjects: Computer hardware description languages