The top documents tagged [hspice manual]