Description
Springer Taxonomies For The Development And Verification Of Digital Systems by Brian Bailey , Grant Martin , Thomas Anderson
Thorough set of definitions for the terms and models used in the creation, refinement, and verification of complex systems from the conceptual level down to its implementationConsidering both the hardware and software components of the systemAlso covers the emerging area of platform-based designProvides both knowledge of models and terms, and understanding of these models and how they are used. Model Taxonomy.- Functional Verification Taxonomy.- Platform-Based Design.- Hardware-Dependent Software