HANNIBAL : An efficient tool for logic verification based on recursive learning

Author(s)

Journal

  • Proc. Int'l Conf. on CAD, 1993

    Proc. Int'l Conf. on CAD, 1993, 538-543, 1993

Cited by:  1

Codes

  • NII Article ID (NAID)
    10024081625
  • Article Type
    Proceedings
  • Data Source
    CJPref 
Page Top