सत्यापन के लिए ग मॉडल के बारे में प्रश्न.

[faye_hongdou]

I'a ASIC डिजाइन में नए और परियोजना में कर रही है exprience नहीं है.मैंने सुना है कि किसी कार्य सी मॉडल का उपयोग कर सत्यापन कर रहा है.किसी के बारे में मुझे बता सकते हैं कि यह कैसे किया जाता है?और क्या है उचित उपकरण यह करने के लिए, यदि मैं लिनक्स का उपयोग करें.

और तुम pls होता मुझे बताओ क्या सबसे अच्छा है पर मेरा पहला परियोजना में मिलता है?

सादर

 

[अंजलि]

हम किसी भी testbenches, जो एचडीएल में लिखा इस्तेमाल कर रहे हैं डिजाइन के लिए कार्यात्मक सत्यापन करेंगे.हम जैसे सी प्रोग्रामिंग भाषाओं में एक ही मॉडल सकते हैं, और PLIs प्रयोग डिजाइन से जुड़े.

उपयोग के लिए हमारे अपने systemtasks PLIs को लागू कर रहे हैं.इन systemtasks सी. में हो सकता है

 

[sakthi_s]

यदि आप कुलपतियों प्रयोग कर रहे हैं 7 (और इसके बाद के संस्करण??) तुम directC इंटरफ़ेस उपयोग कर सकते हैं.यह PLIs के समान - है तुम verilog से सी कार्यों कॉल कर सकते हैं.लेकिन अगर आपके सी कोड है अलग सिमुलेटर में पोर्टेबल होना तो पीएलआइ के रूप में मैं केवल directC सारांश द्वारा समर्थित है लगता है बेहतर है.

 

[sarath51]

मॉडल सिम का नवीनतम संस्करण capabilty है सीधी सी आयुध डिपो

 

[stormwolf]

मुझे लगता है कि पीएलआइ ग मॉडल के लिए बेहतर है, और पीएलआइ इस्तेमाल किया जा सकता है, नेकां के कुलपतियों या someother verilog औजार हो

 

[jarodz]

SystemC एक और विकल्प है.

साभार,
Jarod

 

[थॉमसन]

नमस्ते,
मुझे लगता है कि सी मॉडल मुख्य रूप से सिस्टम विभाजन या एल्गोरिथम विश्लेषण का पता लगाने के किया जाता है.इस प्रकार तर्क विभाजन सी मॉडल की खोज के आधार पर महसूस किया जा सकता है.

सी मॉडल भी डेटा फ़ाइल है, जो आपके द्वारा पढ़ा जा सकता है अपने RTL मॉड्यूल को प्रेरणा फ़ीड testbench behaviroal एचडीएल उत्पन्न किया जा सकता है.

मई तुम मदद करो!

थॉमसन

 

[wadaye]

हाय faye_hongdou,

हम सी सुनहरी जानकारी में पढ़ा मॉडल, उपयोग स्वर्ण outputs उत्पन्न करते हैं.

और सोने की जानकारी में RTL को पढ़ा, स्वर्ण outputs के साथ outputs तुलना

से सी मॉडल.