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 authors haven't yet claimed this publication.

Read Publication

http://dx.doi.org/10.1145/1391962.1391971

In partnership with: