कड़ी का औपचारिक सत्यापन और आधारित फिल्म सम&#2

[archillios]

सभी हाय,
मैं तुल्यता की जाँच में औपचारिकता का उपयोग कर रहा हूँ, यह गेट के बारे में है करने वाली फाटक की जाँच.
मेरा रेफरी डिजाइन एक netlist जिसमें अनुक्रमिक कोशिकाओं सामान्य हैं फिल्म समारोह निदेशालय, जबकि कार्यान्वयन डिजाइन netlist अनुक्रमिक सभी 2 से बना कोशिकाओं के स्तर पर मिलकर कड़ी है.

मेल खाता है ठीक है, लेकिन सत्यापन के चरण में, सभी अनुक्रमिक अंक की तुलना में लगभग असफल रहा.
जब मैं विफलता पैटर्न डिबग, मैंने पाया है कि यह उपकरण लगता है फिल्म समारोह निदेशालय के बीच सत्यापित करने की कोशिश कर रहा / रेफरी क्यू () और स्तर 2 की एक कड़ी-छोटा सा भूत स्तर की फिल्म समारोह निदेशालय ().

मैं इस के माध्यम से कैसे मिल सकता है?
धन्यवाद.

 

[eddsos]

वहाँ एक सेटअप पैरामीटर, जो कर सकते हैं उपकरणों की स्थिति स्वतः recoginize है.मैं इसे अब याद नहीं है.आप देख सकते हैं संदर्भ मैनुअल.

 

[AlexWan]

हाय archillios,

आम तौर पर, सामान्य उपकरण के दौरान DFFs और प्रमुख बिंदु के रूप में ब्लैक बॉक्स की तुलना कर देगा.यह महत्वपूर्ण बिंदुओं के बीच तर्क ब्लॉक के functonality का विश्लेषण करेगा.तो अगर यह अनुसार प्रमुख मुद्दा नहीं मिल रहा है, यह दो डिजाइन के बीच functionlity की जांच नहीं करेगा.