Functional Verification of Programmable Embedded Architectures | lit.salon