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 ऑनलाइन का उपयोग करें