我正在使用基本门在UPPAAL中制作电路。为此，我在系统声明中实例化这些门以制作所需的电路。 我在参数部分中声明了门的I / O，然后在系统声明中使用所需的I / O变量实例化这些参数值，以制作特定的电路。
假设我想从2 Xor，2和1或者门进行全加法。当我运行模拟时，任何一个门都是随机启动而不遵循电路序列，i-e一段时间或先模拟，第二个Xor先模拟。为了避免这种情况，我声明了一些通信通道和一些变量，并在参数部分添加这些通道和变量，以便在固定序列中模拟门。但是在添加了通道和变量后，我会遇到错误 - 内存耗尽＆＃34;。
在模型检查器Nusmv中，如果我们在主模块中实例化较小的模块，我们也可以在main中编写一些代码以及实例化，这样可以最大限度地减少模块实例化中的变量数量。我们可以在uppaal做类似的事情。有没有办法将一个模板实例化为其他模板。或任何从基本门制作电路而不会出现内存错误或最小参数的提示。我采用正确的技术从较小的电路制造大电路。我使用了基于GUI的uppaal。 感谢您的时间和帮助