A neural network algorithm for hardware-software verification
المؤلف | Rebaiaia, M.L. |
المؤلف | Jaam, J.M. |
المؤلف | Hasnah, A.M. |
تاريخ الإتاحة | 2024-03-20T01:55:09Z |
تاريخ النشر | 2003 |
اسم المنشور | Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems |
المصدر | Scopus |
الملخص | Formal verification is the task of proving that a property holds for a model of a design. This paper examines the idea of a Neural Network-based algorithm used to find the set of states that makes a specification valid. The paper addresses a singular approach for those doing theoretical research for the verification of soft programs, and, for hardware designers. The approach of the application of the Artificial Neural Network is not new, but it becomes interesting if one can improve the truth- building efficiency by using some known artifices. Topics described include Integer Linear Programming, Propositional Logic, Model Checking, Satisfiability problems (SAT) and Artificial Neural Networks (ANN). |
اللغة | en |
الناشر | IEEE |
الموضوع | Neural networks Software algorithms Neural network hardware Circuits Logic testing Algebra Logic programming Computer science Artificial neural networks Formal verification |
النوع | Conference Paper |
الصفحات | 1332-1335 |
رقم المجلد | 3 |
الملفات في هذه التسجيلة
الملفات | الحجم | الصيغة | العرض |
---|---|---|---|
لا توجد ملفات لها صلة بهذه التسجيلة. |
هذه التسجيلة تظهر في المجموعات التالية
-
علوم وهندسة الحاسب [2284 items ]