Functional Verification of Programmable Embedded Architectures: A Top-Down Approach | lit.salon