to Functional Verification -- Architecture Specification -- Architecture Specification -- Validation of Specification -- Top-Down Validation -- Executable Model Generation -- Design Validation -- Functional Test Generation -- Future Directions -- Conclusions.Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottleneā¦