Text this: Functional verification of programmable embedded architectures :