Estou tentando aprender Verilog e, em um exemplo simples de gerador de clock, vejo o seguinte código:

always #(cycle/2) clk ~= clk

Eu vi sempre @ (*) antes, mas não libra (#). Tentei encontrá-lo na documentação, mas tudo o que consegui encontrar foi alguma referência a "portas de valor real" sem nenhuma elaboração adicional.

Obrigado por toda sua ajuda!