Shell, Static Timing Analysis, Python, Perl, Ccs, Computer Engineering, Microchip Libero, LPE, primetime, Timing Power Models, Synopsys Hercules, Xilinx Ise, LVS, SiliconSmart, Physical Verification, NanoTime, Electrical Engineering, FPGA Architectures, Finesim, Mentor Graphics Calibre, NLDM, altera quartus, HSIM, Hspice, StarRC-XT