fix bugs: use sliver['name'] to get slice's name