Project of modelling and verifying Fujimi in TTM.