验证cc

摘要： 约束的使用 1.逻辑关系<,<=,==, >=,> 逻辑关系约束，比较直接的指定随机数产生的范围，<,<=,==, >=,> rand byte data；constraint data_cons{ data > 0； data <5; } //约束data的值大于0，小于5 2.inside in 阅读全文