prefinal cordic.v