Pressure-Cooker Risotto with Shrimp and Asparagus

Select saute setting on a 6-qt. electric pressure cooker. Adjust for medium heat; add oil. When oil is hot, add 3 minced garlic cloves; cook 1 minute. Add shrimp; cook and stir until shrimp begin to turn pink, about 5 minutes. Add 1 tablespoon butter and Italian salad dressing; stir until butter melts. Add asparagus; cook until tender, 3-5 minutes. Remove and keep warm., Warm the remaining 3 tablespoons butter until melted. Add diced onion; cook until tender, 4-5 minutes. Add remaining 6 minced garlic cloves; cook 1 minute. Add rice; cook and stir for 2 minutes. Stir in 1/2 cup wine; cook and stir until absorbed. Add remaining 1/2 cup wine, broth and 1/4 cup cheese. Press cancel. , Lock lid; close pressure-release valve. Adjust to pressure-cook on high for 8 minutes; quick-release pressure. Serve shrimp mixture over risotto. Season with salt and pepper. Sprinkle with remaining 1/4 cup cheese.