Ito ang command fsp na maaaring patakbuhin sa OnWorks free hosting provider gamit ang isa sa aming maramihang libreng online na workstation gaya ng Ubuntu Online, Fedora Online, Windows online emulator o MAC OS online emulator
PROGRAMA:
NAME
fsp - Pormal na patunay sa pagitan ng dalawang paglalarawan ng FSM
SINOPSIS
FSP [-V] pormat1 pormat2 file1 file2
DESCRIPTION
Ginawa upang tumakbo sa mga paglalarawan ng FSM, FSP sumusuporta sa parehong subset ng VHDL bilang syf (para sa karagdagang
impormasyon tungkol sa subset na ito tingnan SYF(1) at FSM(5)). FSP gumagamit ng Binary na Pinababang Inorder
Decision Diagram representasyon at kinukuwenta ang produkto ng dalawang paglalarawan ng FSM.
Pagkatapos ng hakbang na ito, ginalugad nito ang nagreresultang produkto ng FSM at pormal na pinatutunayan ang pagkakapareho
sa pagitan ng dalawang unang paglalarawan ng FSM. Dapat magkapareho ang dalawang paglalarawang iyon
interface (VHDL entity).
Kapaligiran MGA VARIABLE
MBK_WORK_LIB nagbibigay ng landas para sa mga paglalarawan ng FSM. Ang default na halaga ay ang kasalukuyang
direktoryo.
MBK_CATA_LIB nagbibigay ng ilang pantulong na landas para sa mga paglalarawan ng FSM. Ang default na halaga ay
ang kasalukuyang direktoryo.
Opsyon
-V Naka-on ang verbose mode. Ang bawat hakbang ng pormal na patunay ay ipinapakita sa pamantayan
output.
Halimbawa
fsp fsm fsm digi digi2
Gumamit ng fsp online gamit ang mga serbisyo ng onworks.net