VLSI Design and Verification of the Imagine Processor.

Brucek Khailany William J. Dally Andrew Chang Ujval J. Kapasi Jinyung Namkoong Brian Towles

Published in: ICCD (2002)

Keyphrases

vlsi design
functional verification
model checking
design methodology
high speed
formal verification
database
neural network
database systems
source code
distributed memory
physical design
instruction set