Functional verification of the superscalar SH-4 microprocessor.

Prasenjit Biswas Andy Freeman Kouji Yamada Norio Nakagawa Kunio Uchiyama

Published in: COMPCON (1997)

Keyphrases

functional verification
computer architecture
formal verification
instruction set
general purpose
hardware software
signal processing
multithreading
information systems
high speed