Login / Signup

Exploring the Potential of Decision Diagrams for Efficient In-Memory Design Verification.

Khushboo QayyumAbhoy KoleKamalika DattaMuhammad HassanRolf Drechsler
Published in: ACM Great Lakes Symposium on VLSI (2024)
Keyphrases
  • sufficient conditions
  • decision diagrams
  • database systems
  • model checking
  • digital circuits