A Coq Framework for More Trustworthy DRAM Controllers
PROCEEDINGS OF THE 30TH INTERNATIONAL CONFERENCE ON REAL-TIME NETWORKS AND SYSTEMS, RTNS 2022（2022）
Key words
DRAM,Memory Controller,Coq,Formal Proof Assistant
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined