Effective simulation and debugging for a high-level hardware language using software compilers

Effective simulation and debugging for a high-level hardware language using software compilers

Bibliographic Details
Main Authors:	Pit-Claudel, Clément, Bourgeat, Thomas, Lau, Stella, Arvind, Chlipala, Adam
Other Authors:	Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format:	Article
Language:	English
Published:	ACM 2022
Online Access:	https://hdl.handle.net/1721.1/142931

Similar Items

The essence of Bluespec: a core language for rule-based hardware design
by: Bourgeat, Thomas, et al.
Published: (2021)

The essence of Bluespec: a core language for rule-based hardware design
by: Bourgeat, Thomas, et al.
Published: (2021)

Specification and Verification of Strong Timing Isolation of Hardware Enclaves
by: Lau, Stella, et al.
Published: (2025)

Compilation using correct-by-construction program synthesis
by: Pit-Claudel, Clément
Published: (2017)

Relational compilation: Functional-to-imperative code generation for performance-critical applications
by: Pit-Claudel, Clément
Published: (2022)

Relational Compilation for Performance-Critical Applications
by: Pit-Claudel, Cl?ment, et al.
Published: (2022)

Narcissus: correct-by-construction derivation of decoders and encoders from binary formats
by: Pit-Claudel, Clement Francois, et al.
Published: (2021)

Hardware debugging of H-bridge converter
by: Ng, Yong Tat
Published: (2019)

An Optimizing Compiler for a Purely Functional Web-Application Language
by: Chlipala, Adam
Published: (2021)

Specification and verification of sequential machines in rule-based hardware languages
by: Bourgeat, Thomas
Published: (2023)

Manta: An In-Situ Debugging Tool for Programmable Hardware
by: Moseley, Fischer Jay
Published: (2023)

Kami: a platform for high-level parametric hardware specification and its modular verification
by: Choi, Joonwon, et al.
Published: (2021)

The end of history? Using a proof assistant to replace language design with library design
by: Chlipala, Adam, et al.
Published: (2021)

A general technique for deterministic model-cycle-level debugging
by: Khan, Asif Imtiaz, et al.
Published: (2014)

A Verified Compiler for a Functional Tensor Language
by: Liu, Amanda, et al.
Published: (2024)

Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant
by: Delaware, Benjamin James, et al.
Published: (2021)

Compiler verification meets cross-language linking via data abstraction
by: Wang, Peng, et al.
Published: (2015)

Modular Deductive Verification of Multiprocessor Hardware Designs
by: Vijayaraghavan, Muralidaran, et al.
Published: (2019)

The end of history? Using a proof assistant to replace language design with library design
by: Chlipala, Adam, et al.
Published: (2020)

Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant
by: Delaware, Benjamin James, et al.
Published: (2014)

Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs
by: Pit-Claudel, Clément, et al.
Published: (2021)

Automatic generation of hardware/software interfaces
by: King, Myron, et al.
Published: (2019)

Formal Verification of Hardware Synthesis
by: Braibant, Thomas, et al.
Published: (2014)

Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs
by: Pit-Claudel, Clement Francois, et al.
Published: (2021)

Proposal for a FAP Language Debugging Program
by: Winett, Joel
Published: (2004)

Live debugging : a new debugging experience
by: Abhishek Jaiswal
Published: (2014)

Integration verification across software and hardware for a simple embedded system
by: Erbsen, Andres, et al.
Published: (2022)

Automatic generation of hardware/software interfaces
by: King, Myron Decker, et al.
Published: (2012)

Array Synthesis in SystemC Hardware Compilation
by: Ditmar, J, et al.
Published: (2007)

Company-Coq: Taking Proof General one step closer to a real IDE
by: Pit-Claudel, Clément, et al.
Published: (2021)

Debug Tutor: Automated Deliberate Debugging Practice for Undergraduate Programmers
by: Ecanow, Gabrielle E.
Published: (2023)

Debugging Multithreaded Programs that Incorporate User-Level Locking
by: Stark, Andrew F.
Published: (2023)

Debugging multithreaded programs that incorporate user-level locking
by: Stark, Andrew F. (Andrew Frederick), 1975-
Published: (2010)

Software Modification in a Fault Analysis Tool for Critical Path Debugging
by: Han, Chung Dean
Published: (2009)

Bug-Injecting System Helps to Advance the State-of-the-Art in Debugging Software
Published: (2021)

Foundational Integration Verification of a Cryptographic Server
by: Erbsen, Andres, et al.
Published: (2024)

Developing Resources for Debugging Education using Block-based Languages
by: Wang, Brandon L.
Published: (2022)

Hadoop debug optimization
by: Siow, Llukelly Jian Yang.
Published: (2012)

Company-Coq: Taking Proof General one step closer to a real IDE
by: Pit-Claudel, Clement F., et al.
Published: (2016)

Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries
by: McKeever, S, et al.
Published: (2002)