Bu, Ubuntu Online, Fedora Online, Windows çevrimiçi emülatörü veya MAC OS çevrimiçi emülatörü gibi birden fazla ücretsiz çevrimiçi iş istasyonumuzdan birini kullanarak OnWorks ücretsiz barındırma sağlayıcısında çalıştırılabilen fsp komutudur.
Program:
ADI
fsp - İki FSM açıklaması arasındaki resmi kanıt
SİNOPSİS
fsp [-V] biçim1 biçim2 file1 file2
TANIM
FSM açıklamalarında çalışacak şekilde yapılmıştır, fsp syf ile aynı VHDL alt kümesini destekler (daha fazlası için
bu alt küme hakkında bilgi için bkz. SYF(1) ve FSM(5)). fsp Azaltılmış Sıralı İkili Dosya kullanır
Karar Diyagramları, iki FSM açıklamasının çarpımını temsil eder ve hesaplar.
Bu adımdan sonra, ortaya çıkan FSM ürününü araştırır ve resmi olarak eşdeğerliğini kanıtlar.
iki ilk FSM açıklaması arasında. Bu iki açıklama aynı olmalıdır
arabirim (VHDL varlığı).
ÇEVRE DEĞİŞKENLER
MBK_WORK_LIB FSM açıklamalarının yolunu verir. Varsayılan değer mevcut
dizin.
MBK_CATA_LIB FSM açıklamaları için bazı yardımcı yollar verir. Varsayılan değer
geçerli dizin.
SEÇENEKLER
-V Ayrıntılı modu açar. Resmi kanıtın her adımı standartta görüntülenir.
çıktı.
ÖRNEK
fsp fsm fsm digi digi2
onworks.net hizmetlerini kullanarak fsp'yi çevrimiçi kullanın
