Formal Verification of a Highly Configurable DDR Controller IP Author(s): Sumit Neb, Chirag Agarwal, Deepak K. Gupta, and Roger Sabbagh
