Title: Functional Verification of Programmable Embedded Architectures: A Top-Down Approach
Subjects: Computer architecture, Embedded computer systems, Integrated circuits