Merge pull request #3639 from chipsalliance/named_domains

Name the ClockDomains
8 jobs for dev
in 0 seconds and was queued for 91 minutes and 56 seconds