Title: Taxonomies for the Development and Verification of Digital Systems
Subjects: Systems engineering, Logic design, Engineering, Computer-aided design, Electronics, Computer engineering, Digital integrated circuits, Design and construction, Integrated circuits, Verification, Digital communications, Digital control systems