Ensuring Consistency in Digital Design: Tackling Unboundedness - Raj, Neha; Hensel, Ulrich; Georgiev, Georgi (2025 XXXIV International Scientific Conference Electronics (ET), Scientific Conference Electronics (ET), 2025 XXXIV International, 2025)