ACS: Automatic Converter Synthesis for SoC Bus Protocols
Abstract elided by the publisher.
Related papers
- Pyls: Enabling Python Hardware Synthesis with Dynamic Polymorphism via LCRS Encoding CGO 2026
- Nesting Actions through Asynchronous Message Passing: the ACS Protocol ECOOP 1992
- Verification of Parameterized Bus Arbitration Protocol CAV 1998
- Verification of an Audio Protocol with Bus Collision Using UPPAAL CAV 1996
- Ace: Linguistic Mechanisms for Customizable Protocols PPoPP 1997
- ILAng: A Modeling and Verification Platform for SoCs Using Instruction-Level Abstractions TACAS 2019
- ACE: An Automatic Complexity Evaluator TOPLAS 1988
- Tactics for Reasoning Modulo AC in Coq CPP 2011