Publications

An abstraction algorithm for the verification of level-sensitive latch-based netlists

• • Jason Baumgartner
  • Tamir Heyman
  • et al.
• 2003
• Formal Methods in System Design