No contexto do fluxo de projeto de um circuito integrado afirma-se o que segue.
I. O resultado da síntese lógica de um sistema digital é um netlist de portas lógicas que implementa a funcionalidade
modelada em HDL.
II. O emprego de linguagem HLD Verilog para modelamento de um sistema nos dá um nível de abstração dos detalhes
relativos à sua implementação física.
III. Tendo o projeto passado pela análise estática de temporização (STA – static timing analysis ) e pela checagem de
equivalência lógica (LEC – logic equivalence checking) durante a síntese lógica não há necessidade de repetir estes
passos novamente após o leiaute.