Это не допускается большинством инструментов синтеза RTL.
Это вообще плохая практика. У вас есть код, синхронный с задним фронтом часов. Затем вы ждете другого изменения, которое может совпадать или не совпадать с предыдущими часами. Не знаю, важно ли это в вашем случае.
Кроме того, присвоение deterministicEnable
- это сбой, который может быть или не быть видимым для других процессов.