In your pressure cooker, sear the roast, then sauté diced onions. Add carrots, potatoes, minced garlic, seasonings, diced tomatoes, and water. Switch setting to pressure cook, and cook on high for 30 minutes.
Let pressure slowly release for 5-10 minutes, before switching to the quick release to let all the pressure out.