使用蕴涵运算符的双向约束的多个结果

Question

有没有一种方法可以为双向约束编写多个结果？

constraint c_test{
     (packet_size == LARGE) -> (Packet_length == 16); (Gap_betwn_packets == 2);
}

当 packet_size 为 LARGE 时，上述代码应将 Packet_length 设置为 16，并将数据包之间的间隙设置为 2。上面的代码可以吗？

Answer 1

这需要使用

{}

编写为一组约束

constraint c_test{
     (packet_size == LARGE) -> { Packet_length == 16; Gap_betwn_packets == 2 };
}