Email Record: Functional verification of programmable embedded architectures :