固态硬盘中SATA接口控制器命令层的设计及验证 Design and verification of command layer of SATA interface controller in solid state drive