摘要：【1】事件上，精化模型的Guard要能推出抽象模型的Guard 【2】抽象模型上新增加的事件，相当于继承自skip Guard: true Actions: a:=a,b:=b,c:=c,... 【3】抽象模型上新增加的事件不能是发散(divergence)，即不能有活锁(没有对外反馈，内部一直执行 阅读全文

摘要：【1】Scope仿真时间默认10不够用，要调整仿真时间，在建模窗体菜单里，Simulation Model Configuration Parameters里设置。 【2】要给Scope调整输入引脚数量，双击打开它，然后快捷工具栏里第一个设置里改。 【3】在Library Browser里(模型窗体 阅读全文