Code-Based Test Generation for Validation of Functional Processor Descriptions
Abstract elided by the publisher.
Related papers
- Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation CAV 2009
- Communication Optimization and Code Generation for Distributed Memory Machines PLDI 1993
- Runtime verification and validation of functional reactive systems JFP 2020
- Validation of Abstract Side-Channel Models for Computer Architectures CAV 2020
- Who guards the guards? formal validation of the Arm v8-m architecture specification OOPSLA 2017
- Inductive benchmarking for purely functional data structures JFP 2001
- Testing and debugging functional reactive programming ICFP 2017
- A Syntax-Error-Handling Technique and Its Experimental Analysis TOPLAS 1983