This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Arvind
A grouping.
Arvind, MIT: rule-based hardware design and its verification - Kami for parametric hardware specification and proof, Kôika's semantics for Bluespec (2020), and sequentialising concurrent hardware verification (2025).
10 references
Making Concurrent Hardware Verification Sequential
Thomas Bourgeat and others (2025) · Proceedings of the ACM on Programming Languages
The essence of Bluespec: a core language for rule-based hardware design
Bourgeat, Thomas and others (2020) · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation
Mi6: Secure enclaves in a speculative out-of-order processor
T. Bourgeat and others (2019) · Proceedings of the 52nd Annual IEEE/ACM International Symposium on Microarchitecture
Composable Building Blocks to Open up Processor Design
Sizhuo Zhang and others (2019) · IEEE Micro
An energy-efficient reconfigurable DTLS cryptographic engine for End-to-End security in iot applications
Utsav Banerjee and others (2018) · 2018 IEEE International Solid - State Circuits Conference - (ISSCC) · IEEE
Composable Building Blocks to Open up Processor Design
Sizhuo Zhang and others (2018) · IEEE
Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification
Joonwon Choi and others (2017) · Proceedings of the ACM on Programming Languages
Verification of microarchitectural refinements in rule-based systems
Nirav Dave and others (2011) · Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) · IEEE
Bluespec: A language for hardware design, simulation, synthesis and verification invited talk
Arvind, (2003) · ACM & IEEE International Conference on Formal Methods and Models for Co-Design, page 249
Using term rewriting systems to design and verify processors
Arvind and others (1999) · Institute of Electrical and Electronics Engineers (IEEE)