Shkil, O.; Miroshnyk, M.; Rakhlis, D.; Trifanov, O. Data Structures for Deductive Simulation of HDL Conditional Operators. ITSSI 2023, 98-113.