Login / Signup

Mask versus Schematic - an enhanced design-verification flow for first silicon success.

Tseng-Chin LuoEric LeongMango Chia-Tso ChaoPhilip A. FisherWen-Hsiang Chang
Published in: ITC (2010)
Keyphrases
  • case study
  • computer aided
  • real world
  • digital images
  • formal verification
  • high speed
  • building blocks
  • model checking
  • low power
  • functional verification