अंग्रेज़ीफ्रेंचस्पेनिश

सर्वर चलाएं | Ubuntu > | Fedora > |


ऑनवर्क्स फ़ेविकॉन

fsp - क्लाउड में ऑनलाइन

उबंटू ऑनलाइन, फेडोरा ऑनलाइन, विंडोज ऑनलाइन एमुलेटर या मैक ओएस ऑनलाइन एमुलेटर पर ऑनवर्क्स मुफ्त होस्टिंग प्रदाता में एफएसपी चलाएं

यह कमांड fsp है जिसे हमारे कई मुफ्त ऑनलाइन वर्कस्टेशन जैसे उबंटू ऑनलाइन, फेडोरा ऑनलाइन, विंडोज ऑनलाइन एमुलेटर या मैक ओएस ऑनलाइन एमुलेटर में से एक का उपयोग करके ऑनवर्क्स फ्री होस्टिंग प्रदाता में चलाया जा सकता है।

कार्यक्रम:

नाम


fsp - दो FSM विवरणों के बीच औपचारिक प्रमाण

SYNOPSIS


FSP [-V] प्रारूप1 प्रारूप2 file1 file2

वर्णन


FSM विवरण पर चलने के लिए बनाया गया, FSP VHDL के समान उपसमुच्चय को syf के रूप में समर्थन करता है (आगे के लिए
इस सबसेट के बारे में जानकारी देखें SYF(1) और FSM(5))। FSP एक कम आदेशित बाइनरी का उपयोग करता है
निर्णय आरेख दो FSM विवरणों के उत्पाद का प्रतिनिधित्व और गणना करता है।
इस चरण के बाद, यह परिणामी FSM उत्पाद की पड़ताल करता है और औपचारिक रूप से तुल्यता साबित करता है
दो प्रारंभिक FSM विवरण के बीच। उन दो विवरणों में समान होना चाहिए
इंटरफ़ेस (वीएचडीएल इकाई)।

वातावरण चर



एमबीके_WORK_LIB FSM विवरण के लिए पथ देता है। डिफ़ॉल्ट मान वर्तमान है
निर्देशिका.

एमबीके_CATA_LIB FSM विवरण के लिए कुछ सहायक पथ देता है। डिफ़ॉल्ट मान है
वर्तमान निर्देशिका।

विकल्प


-V वर्बोज़ मोड को चालू करता है। औपचारिक प्रमाण का प्रत्येक चरण मानक पर प्रदर्शित होता है
उत्पादन.

उदाहरण


एफएसपी एफएसएम एफएसएम डिजी डिजी2

onworks.net सेवाओं का उपयोग करके fsp ऑनलाइन का उपयोग करें


Ad


Ad