liberate k库 抽取特殊io arc定义疑问（有偿）

edward_nb

问题2已解决。可以定义初始化过程。但是对于问题2初始化问题只能解决B>>>Y的arc问题。无法解决A>>>Y的arc问题。(因为A上升必须有一定延时B上升才能有效。）目前还在思考

菜鸟0625号

edward_nb 发表于 2024-5-11 17:51
问题2已解决。可以定义初始化过程。但是对于问题2初始化问题只能解决B>>>Y的arc问题。无法解决A>>>Y的arc问 ...

prevector先定义B的值，定义B为1，A为0，下一个状态再让A为1，这样应该是可以构成A与B之间的延迟，这样K的结果不行吗？

edward_nb

菜鸟0625号 发表于 2024-5-14 16:29
prevector先定义B的值，定义B为1，A为0，下一个状态再让A为1，这样应该是可以构成A与B之间的延迟，这样K ...

这个方式不行。prevector只是初始化。无法保证测量的时候A与B之间存在延时。

目前解决方法写个verlog-a 作为延时模块接到B的点。抽取的时候A与B都上升。然后将抽取结果减去延时模块延时时间。