Login / Signup

VLSI Design and System Level Verification for the Mini-Disc.

Tetsuya FujimotoTakashi Kambe
Published in: DAC (1996)
Keyphrases
  • vlsi design
  • model checking
  • design methodology
  • database
  • case study
  • pattern recognition
  • back propagation
  • formal verification