İngilizceFransızcaİspanyolca

Sunucuları çalıştırın | Ubuntu > | Fedora > |


OnWorks favicon'u

fsp - Bulutta Çevrimiçi

Ubuntu Online, Fedora Online, Windows çevrimiçi emülatörü veya MAC OS çevrimiçi emülatörü üzerinden OnWorks ücretsiz barındırma sağlayıcısında fsp çalıştırın

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


Ad


Ad