Title: Functional verification of programmable embedded architectures
Subjects: Embedded computer systems, Testing, Computer architecture, Integrated circuits, Verification