Circuit implemented and FuMalik verified