Leveraging Reusable Code and Proofs to Design Complex DRAM Controllers - A Case Study.

Felipe Lisboa Malaquias, Mihail Asavoae, Florian Brandner

Browse the full DSD paper archive.