Julien Schmaltz

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

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

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.

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)