द्वारा कार्यक्रम ar4bluespec.sf.net

इस पृष्ठ में ब्लूस्पेक सिस्टमVerilog (BSV) हार्डवेयर डिजाइन के लिए स्वचालित तर्क लागू करने के लिए उपकरण शामिल हैं। हम पीवीएस प्रमेय सिद्धकर्ता और साल मॉडल चेकर में बीएसवी डिजाइन आयात करने के लिए कोड प्रदान करते हैं।