The top documents tagged [hspice reference manual]