实现异步复位的简单写法

alwaysff_example.py生成一个异步复位的counter用pycde的方式来写因为直接使用CIRCT 的底层 Dialect，好复杂，超过了直接用sv来写，有什么简化的方法吗？