Florian Huemer, Robert Najvirt, Andreas Steininger. On SAT-Based Model Checking of Speed-Independent Circuits. In 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2022, Prague, Czech Republic, April 6-8, 2022. pages 100-105, IEEE, 2022. [doi]
Abstract is missing.