Traceback

Executable Specification

System Analysis & Verification

Constraints on Architecture

Constraints, Application Code & Architecture Specification

Architecture Design

HW/SW Cost Models

HDL and System Specifications

System Implementation