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