Text this: Functional Verification of Programmable Embedded Architectures