Ekvacionálna schéma
program je vlastne “proper” mnozina rovností v declare a always sekciách
Implementácia ES na SM-architektúre:
- usporiadame rovnosti (dá sa, lebo je to “proper”)
- nahradíme = znakom :=
- priradovacie príkazy sa alokujú procesorom a urcí sa odpovedajúci „control flow“
Implementácia ES na distribuovanej architektúre (DA):
- kazdá premenná je na lavej strane práve jedného príkazu (proper)
- nech x je na lavej strane príkazu v procesore A ? potom x dáme do lokálnej pamäte A
- pre všetky ostatné procesory (B) definujeme lokálne kópie B.x
- ked x je vyhodnotené, pošle sa jeho hodnota B
- tá sa dá do B.x
- v B sú všetky výskyty x nahradené za B.x
- B teda pouzíva v príkazoch len lokálne premenné