इस पृष्ठ में ब्लूस्पेक सिस्टमVerilog (BSV) हार्डवेयर डिजाइन के लिए स्वचालित तर्क लागू करने के लिए उपकरण शामिल हैं। हम पीवीएस प्रमेय सिद्धकर्ता और साल मॉडल चेकर में बीएसवी डिजाइन आयात करने के लिए कोड प्रदान करते हैं।
संस्करण इतिहास
- विवरण files पर तैनात 2011-04-04
कई सुधार और अपडेट - विवरण N/A पर तैनात 2011-04-04
कार्यक्रम विवरण
- कोटि: नेटवर्क और इंटरनेट > अन्य
- प्रकाशक: ar4bluespec.sf.net
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: Array
- मंच: windows