RTLcheck-Reference-Cited by-同舟云学术

RTLcheck

Published:2017-10-14 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 50th Annual IEEE/ACM International Symposium on Microarchitecture
language:
Short-container-title:

Author:

Manerkar Yatin A.¹,Lustig Daniel²,Martonosi Margaret¹,Pellauer Michael²

Affiliation:

1. Princeton University

2. NVIDIA

Funder

Semiconductor Research Corporation

National Science Foundation

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3123939.3124536

Reference53 articles.

1. Mark Aagaard Byron Cook Nancy A. Day and Robert B. Jones. 2001. A Framework for Microprocessor Correctness Statements. In Correct Hardware Design and Verification Methods (CHARME). 433--448. Mark Aagaard Byron Cook Nancy A. Day and Robert B. Jones. 2001. A Framework for Microprocessor Correctness Statements. In Correct Hardware Design and Verification Methods (CHARME). 433--448.

2. GPU Concurrency

3. Jade Alglave Luc Maranget and Michael Tautschnig. 2014. Herding cats: Modelling Simulation Testing and Data-mining for Weak Memory. ACM Transactions on Programming Languages and Systems (TOPLAS) 36 (July 2014). Issue 2. 10.1145/2627752 Jade Alglave Luc Maranget and Michael Tautschnig. 2014. Herding cats: Modelling Simulation Testing and Data-mining for Weak Memory. ACM Transactions on Programming Languages and Systems (TOPLAS) 36 (July 2014). Issue 2. 10.1145/2627752

4. ARM. 2011. Cortex-A9 MPCore programmer advice notice read-after-read hazards. ARM Reference 761319. (2011). http://infocenter.arm.com/help/topic/com.arm.doc.uan0004a/UAN0004A_a9_read_read.pdf. ARM. 2011. Cortex-A9 MPCore programmer advice notice read-after-read hazards. ARM Reference 761319. (2011). http://infocenter.arm.com/help/topic/com.arm.doc.uan0004a/UAN0004A_a9_read_read.pdf.

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. r-map: Relating Implementation and Specification in Hardware Refinement Checking;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2023-12

2. AutoCC: Automatic Discovery of Covert Channels in Time-Shared Hardware;56th Annual IEEE/ACM International Symposium on Microarchitecture;2023-10-28

3. GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper);Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12

4. PipeSynth: Automated Synthesis of Microarchitectural Axioms for Memory Consistency;Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3;2023-03-25

5. MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications;Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2;2023-01-27