5
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Conference Proceedings: not found

      Coverage directed test generation for functional verification using bayesian networks

      proceedings-article
      1 , 1
      ACM
      DAC03: 2003 40th Annual Design Automation Conference (DAC03)
      02 06 2003 06 06 2003

      Read this article at

      ScienceOpenPublisher
      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Author and article information

          Conference
          ACM
          June 02 2003
          June 02 2003
          June 02 2003
          June 02 2003
          : 286-291
          Affiliations
          [1 ]IBM Research Laboratory in Haifa, Haifa, Israel
          Article
          10.1145/775832.775907
          be04363a-84fc-48a7-b39c-674e527f9fae
          © 2003
          DAC03: 2003 40th Annual Design Automation Conference
          DAC03
          Anaheim CA USA
          02 06 2003 06 06 2003
          SIGDA ACM Special Interest Group on Design Automation
          History

          Comments

          Comment on this article