ISP ou ISPS (Bell e Newell) é uma linguagem de descrição formal de hardware do nível convencional de uma máquina. A notação permite especificar
Linguagens de descrição formal de hardware é essencial para a
formalização do processo de projeto de computadores digitais.
ISPS tem sido usado como uma ferramenta de projeto, possibilitando a
simulação e síntese de hardware, avaliação de
arquitetura, análise e diagnóstico de falhas, geração de
compiladres, etc (Figura ).