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