Login / Signup

Application of linearly transformed BDDs in sequential verification.

Wolfgang GüntherAndreas HettBernd Becker
Published in: ASP-DAC (2001)
Keyphrases
  • decision support
  • real time
  • search engine
  • multiscale
  • application specific