the LUT library about if

[gongyuzhangzhao]

I've always wanted to know if IF mapping uses a LUT library. If so, where can I find the default LUT library?

[alanminko]

By default "if" and "&if" use unit-delay / unit-area LUT library, which is assumed by default. When the user enters a given library, it overrides the default one. Examples of LUT libraries are given in this paper: https://people.eecs.berkeley.edu/~alanmi/publications/2012/date12_lut.pdf