O. Shkil, M. Miroshnyk, D. Rakhlis, and O. Trifanov, “Data structures for deductive simulation of HDL conditional operators”, ITSSI, no. 3(25), pp. 98–113, Sep. 2023.