Formal Modeling and Verification of Controllers for a Family of DRAM Caches
暂无分享,去创建一个
Madhu Mutyam | Manoranjan Satpathy | Partha Roop | Debiprasanna Sahoo | Swaraj Sha | S. Ramesh | S. Ramesh | M. Satpathy | P. Roop | M. Mutyam | Debiprasanna Sahoo | Swaraj Sha
[1] Abderahman Kriouile,et al. Formal Methods for Functional Verification of Cache-Coherent System-on-Chip. (Méthodes Formelles pour la vérification fonctionnelle des systèmes sur puce cache cohérent) , 2015 .
[2] David M. Weiss,et al. Software Product-Line Engineering: A Family-Based Software Development Process , 1999 .
[3] Jeffrey S. Vetter,et al. A Survey Of Techniques for Architecting DRAM Caches , 2016, IEEE Transactions on Parallel and Distributed Systems.
[4] Gabriel H. Loh,et al. Fundamental Latency Trade-off in Architecting DRAM Caches: Outperforming Impractical SRAM-Tags with a Simple and Practical Design , 2012, 2012 45th Annual IEEE/ACM International Symposium on Microarchitecture.
[5] Sarita V. Adve,et al. Revisiting the Complexity of Hardware Cache Coherence and Some Implications , 2014, ACM Trans. Archit. Code Optim..
[6] Jaewon Lee,et al. GPUdmm: A high-performance and memory-oblivious GPU architecture using dynamic memory management , 2014, 2014 IEEE 20th International Symposium on High Performance Computer Architecture (HPCA).
[7] R. Manikantan,et al. Bi-Modal DRAM Cache: A Scalable and Effective Die-Stacked DRAM Cache , 2014, MICRO 2014.
[8] Onur Mutlu,et al. BLISS: Balancing Performance, Fairness and Complexity in Memory Access Scheduling , 2016, IEEE Transactions on Parallel and Distributed Systems.
[9] Sally A. McKee,et al. Hitting the memory wall: implications of the obvious , 1995, CARN.
[10] Li Zhao,et al. Exploring DRAM cache architectures for CMP server platforms , 2007, 2007 25th International Conference on Computer Design.
[11] R. Govindarajan,et al. Bi-Modal DRAM Cache: Improving Hit Rate, Hit Latency and Bandwidth , 2014, 2014 47th Annual IEEE/ACM International Symposium on Microarchitecture.
[12] Babak Falsafi,et al. Unison Cache: A Scalable and Effective Die-Stacked DRAM Cache , 2014, 2014 47th Annual IEEE/ACM International Symposium on Microarchitecture.
[13] Jörg Henkel,et al. Simultaneously optimizing DRAM cache hit latency and miss rate via novel set mapping policies , 2013, 2013 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES).
[14] Babak Falsafi,et al. Die-stacked DRAM caches for servers: hit ratio, latency, or bandwidth? have it all with footprint cache , 2013, ISCA.
[15] Xin Bi,et al. High bandwidth memory interface design based on DDR3 SDRAM and FPGA , 2015, 2015 International SoC Design Conference (ISOCC).
[16] Norbert Wehn,et al. Embedded DRAM Development: Technology, Physical Design, and Application Issues , 2001, IEEE Des. Test Comput..
[17] Mark D. Hill,et al. Efficiently enabling conventional block sizes for very large die-stacked DRAM caches , 2011, 2011 44th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO).
[18] J. Thomas Pawlowski,et al. Hybrid memory cube (HMC) , 2011, 2011 IEEE Hot Chips 23 Symposium (HCS).
[19] David Roberts,et al. Heterogeneous memory architectures: A HW/SW approach for mixing die-stacked and off-package memories , 2015, 2015 IEEE 21st International Symposium on High Performance Computer Architecture (HPCA).
[20] Cheng-Chieh Huang,et al. DCA: A DRAM-cache-Aware DRAM Controller , 2016, SC16: International Conference for High Performance Computing, Networking, Storage and Analysis.
[21] Mohamed Hassan,et al. MCXplore: Automating the Validation Process of DRAM Memory Controller Designs , 2018, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[22] William J. Dally,et al. Memory access scheduling , 2000, Proceedings of 27th International Symposium on Computer Architecture (IEEE Cat. No.RS00201).
[23] Onur Mutlu,et al. Ramulator: A Fast and Extensible DRAM Simulator , 2016, IEEE Computer Architecture Letters.
[24] Cheng-Chieh Huang,et al. ATCache: Reducing DRAM cache latency via a small SRAM tag cache , 2014, 2014 23rd International Conference on Parallel Architecture and Compilation (PACT).
[25] Laxmi N. Bhuyan,et al. CAMO: A novel cache management organization for GPGPUs , 2018, 2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC).
[26] Aamer Jaleel,et al. BEAR: Techniques for mitigating bandwidth bloat in gigascale DRAM caches , 2015, 2015 ACM/IEEE 42nd Annual International Symposium on Computer Architecture (ISCA).
[27] Michel Dubois,et al. Verification techniques for cache coherence protocols , 1997, CSUR.
[28] Bruce Jacob,et al. Memory Systems: Cache, DRAM, Disk , 2007 .
[29] Natarajan Shankar,et al. The SAL Language Manual , 2003 .
[30] Michel Dubois,et al. A New Approach for the Verification of Cache Coherence Protocols , 1995, IEEE Trans. Parallel Distributed Syst..
[31] Makoto Motoyoshi,et al. Through-Silicon Via (TSV) , 2009, Proceedings of the IEEE.
[32] Manoranjan Satpathy,et al. MSimDRAM: Formal Model Driven Development of a DRAM Simulator , 2016, 2016 29th International Conference on VLSI Design and 2016 15th International Conference on Embedded Systems (VLSID).
[33] Lizy Kurian John,et al. i-MIRROR: A Software Managed Die-Stacked DRAM-Based Memory Subsystem , 2015, 2015 27th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD).
[34] L. Ivanov,et al. Modeling and verification of cache coherence protocols , 2001, ISCAS 2001. The 2001 IEEE International Symposium on Circuits and Systems (Cat. No.01CH37196).