ISPS - Instruction Set Processor Specification

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

• o estado do processador Pc

• o estado da memória Mp

• computação do endereço efetivo

• ciclo de interpretação de instruções

• computação de cada instrução

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 ).

Figure: As aplicações de ISPS