Login / Signup
Functional Verification of the Equator MAP1000 Microprocessor.
Jian Shen
Jacob A. Abraham
Dave Baker
Tony Hurson
Martin Kinkade
Gregorio Gervasio
Chen-chau Chu
Guanghui Hu
Published in:
DAC (1999)
Keyphrases
</>
functional verification
formal verification
maximum a posteriori
hardware software
image processing
general purpose
distributed systems
genetic programming