Simulation-based verification using Temporally Attributed Boolean Logic

S. K. Panda, Arnab Roy, P. P. Chakrabarti, Rajeev Kumar
  • ACM Transactions on Design Automation of Electronic Systems, September 2008, ACM (Association for Computing Machinery)
  • DOI: 10.1145/1391962.1391971
The author haven't yet claimed this publicationThe author haven't yet claimed this publication

In partnership with: