Login / Signup

Accurate QBF-Based Test Pattern Generation in Presence of Unknown Values.

Dominik ErbMichael A. KochteSven ReimerMatthias SauerHans-Joachim WunderlichBernd Becker
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2015)
Keyphrases
  • computationally efficient
  • parameter values
  • website
  • high quality
  • real time
  • high accuracy
  • database
  • neural network
  • search engine
  • artificial neural networks
  • standard deviation
  • quantified boolean formulas