Test pattern generation using Boolean proof engines

Author(s)

• Drechsler, Rolf
• Eggersglüß, Stephan
• Fey, Görschwin
• Tille, Daniel

Bibliographic Information

Test pattern generation using Boolean proof engines

by Rolf Drechsler ... [et al.]

Springer, c2009

• : hbk.

Note

Other authors: Stephan Eggersglüß, Görschwin Fey, Daniel Tille

Includes bibliographical references and index

Details

• NCID: BA91330067
• ISBN:
  • 9789048123599
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Dordrecht ; London
• Pages/Volumes: xii, 192 p.
• Size: 25 cm
• Classification:
  • DC22 : 621.39501511324
• Subject Headings:
  • LCSH : Integrated circuits -- Verification
  • LCSH : Computer software -- Verification
  • LCSH : Computer algorithms
  • LCSH : Algebra, Boolean