求教：如何在icfb里面写verilog或者verilog a

刚开始接触icfb，想用verilog或者verilog a,写一个计数器的代码，从而生成一个symbol,将计数器的输出信号作为测试激励供模拟方法设计的decoder使用。有没有相应的tutorial啥的啊？
谢谢啦！

va在spectre就可以跑，写个计数器问题不大，别用verilog的语法就好
verilog/vams可以用ams跑，比较麻烦