级联

CASCADE是一个支持异步控制器综合的工具内核。它使用一个通用的STG(一个解释Petri网)作为一个统一的设计入口,允许设计者在几种合适的设计方法之间进行选择。然后,它将初始规范转换为所选样式所需的设计条目,并与现有的合成工具(SI电路的petrify,XBM合成的3D)接口。通过分解,使涉及输出并发性和MOC行为的问题变得可行。