https://icinfra.cn/posts/conditional-constraints-in-systemverilog-(video)/