要求工学において、要求記述の曖昧さを排除するための記述形式「USDM」の特徴はどれか。

SoCの省電力技術「パワーゲーティング」において、回路ブロックへの電源供給を遮断するスイッチとして使われるトランジスタの名称はどれか。