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