Title: Taxonomies for the Development and Verification of Digital Systems
Subjects: Digital integrated circuits, Digital communications