InglêsFrancêsEspanhol

Executar servidores | Ubuntu > | Fedora > |


favicon do OnWorks

fsp - Online na nuvem

Execute o fsp no provedor de hospedagem gratuita OnWorks no Ubuntu Online, Fedora Online, emulador online do Windows ou emulador online do MAC OS

Este é o comando fsp que pode ser executado no provedor de hospedagem gratuita OnWorks usando uma de nossas várias estações de trabalho online gratuitas, como Ubuntu Online, Fedora Online, emulador online do Windows ou emulador online do MAC OS

PROGRAMA:

NOME


fsp - Prova formal entre duas descrições FSM

SINOPSE


fsp [-V] formato1 formato2 file1 file2

DESCRIÇÃO


Feito para rodar nas descrições do FSM, fsp suporta o mesmo subconjunto de VHDL como syf (para mais
informações sobre este subconjunto veja SYF(1) e FSM(5)). fsp usa um binário ordenado reduzido
Diagramas de decisão representam e calcula o produto das duas descrições de FSM.
Após esta etapa, ele explora o produto FSM resultante e prova formalmente a equivalência
entre as duas descrições FSM iniciais. Essas duas descrições devem ter o mesmo
interface (entidade VHDL).

MEIO AMBIENTE VARIÁVEIS



MBK_WORK_LIB fornece o caminho para as descrições do FSM. O valor padrão é o atual
diretório.

MBK_CATA_LIB fornece alguns caminhos auxiliares para as descrições do FSM. o valor padrão é
o diretório atual.

OPÇÕES


-V Ativa o modo detalhado. Cada etapa da prova formal é exibida no padrão
saída.

EXEMPLO


fsp fsm fsm digi digi2

Use fsp online usando serviços onworks.net


Ad


Ad