https://icinfra.cn/posts/inverting-systemverilog-inside-constraints-(video)/