Handshake Verification in WORKCRAFT

Many AMS applications, such as PMIC, require lowlatency “little digital” controllers (Sokolov et al., 2019). In order to meet the latency requirements in a traditional synchronous controller, semiconductor industry has to push high-frequency clocking to the limits, which is too expensive. An alternative is to use asynchronous design that is supported by WORKCRAFT software (https://workcraft.org/). Predictability of the design flow and provable correctness of the obtained circuits make WORKCRAFT particularly attractive for industry (Sokolov et al., 2019) and (Sokolov et al., 2016).