computer software used to analyze logic and timing characteristics of software simulation models of complex programmable logic devices, field programmable gate arrays