Merge pull request #3639 from chipsalliance/named_domains

Name the ClockDomains
8 jobs for dev
in 0 seconds and was queued for 107 minutes and 22 seconds