Taxonomies for the Development and Verification of Digital Systems

1. Introduction

2. Model Taxonomy

3. Functional Verification Taxonomy

4. Platform-Based Design

5. Hardware-Dependent Software

Keywords: Engineering, Circuits and Systems, Electronics and Microelectronics, Instrumentation, Logic Design, Electronic and Computer Engineering, Computer-Aided Engineering (CAD, CAE) and Design