Temps de cuisson pour des asperges congelées ?

Quelle est la durée idéale pour cuire des asperges congelées dans un autocuiseur afin qu'elles soient parfaitement tendres ?