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.
Julien Schmaltz
A grouping.
Julien Schmaltz: ACL2 and formal models for communication and asynchronous hardware - XMAS formalisation, asynchronous building blocks, loop pipelining in synthesis, and a 2021 gates-to-computers text.
3 references
Logic Gates, Circuits, Processors, Compilers and Computers
Jan Friso Groote and others (2021) · Springer
A formalisation of XMAS
Bernard van Gastel and others (2013) · Proceedings of the 11th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2013)
Verification of Building Blocks for Asynchronous Circuits
Freek Verbeek and others (2013) · Proceedings of the 11th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2013)