乱数を生成するrandomize()の制約（constraint）の一つ、uniqueについて使用例をまとめます。乱数の制約uniqueは対応しているツールに制限が大きいような気がしています。少なくとも無料で使うことのできるVivado（vsim）やiverilogなどで使用していた特定のバージョンで