berkeley-abc/abc
@berkeley-abcABC: अनुक्रमिक तर्क संश्लेषण (Sequential Logic Synthesis) और औपचारिक सत्यापन (Formal Verification) के लिए सिस्टम
स्टार
1,216
फ़ोर्क
785
भाषा
C
लाइसेंस
NOASSERTION
आख़िरी push
1 सप्ताह पहले
संबंधित intel (0)
अभी कोई संबंधित intel नहीं
यह रिपॉजिटरी radar द्वारा ट्रैक किए जाने वाले किसी भी स्रोत में अभी तक नहीं आई है। कलेक्टर एक शेड्यूल पर चलता है — जब यह इस रिपॉजिटरी को कवर करे तब वापस देखें।