Login / Signup

Advances in variation-aware modeling, verification, and testing of analog ICs.

Dimitri de JongheElie MaricauGeorges G. E. GielenTrent McConaghyBratislav TasicHaralampos-G. D. Stratigopoulos
Published in: DATE (2012)
Keyphrases
  • artificial intelligence
  • information systems
  • image processing
  • formal verification
  • test generation
  • database
  • learning algorithm
  • bayesian networks
  • multiscale
  • test cases
  • symbolic execution