https://leuvendeu.com.br/livro/behavioral-synthesis-digital-system-desing-using-the-synopsys/