在对单形对象语言进行类型推断时,有一种自然的方法可以强制执行,正如在wren的中实现的那样:我们为Type定义了两种数据类型:type Type = ... -- (Fix TypeF) in wren's package
type MutType = ... -- (MutTerm IntVar Ty
我已经养成了开发大量测试台的习惯,并将for()和while()循环用于测试目的。那很好。问题是,我已经养成了这个习惯,开始对应该是可合成的电路进行编码。XST和其他人拒绝合成代码(不需要额外修改合成参数),例如: begin . num = num+1; 这是一个糟糕的编码风格,因为对于合成器来说,test_num是一个值为2^32的整数!或者它将其视为无界参数。无论哪种方式,这都是一个糟糕的编码习惯。但我太习惯在C和testbenches中这样做