added experimental project for logic coverage