Đang Thực Hiện

IMPLEMENTING A NETLIST EQUIVALENCE CHECKER USING A SAT APPROACH

To check two circuits are equivalent or not using a method called SAT.

SAT:To check if there is the possibility that at least one output of the two circuits has different values for the same input.

The following steps have to be performed

1. Read in two netlist files,(This task is already perfomed by the provided python template file provided which also performs the task of creating data structures)

[url removed, login to view] a miter circuit,(is an “imaginary” circuit that combines both netlists. Such a circuit is called “miter”. It has exactly one output. If it can be proven that this output is zero for all input assignments, the netlists are equivalent. Otherwise, the netlists are not equivalent.

3. Create a CNF(characteristic function) from the miter, (The characteristic function of a boolean function is a function which takes all variables (inputs and outputs) as function parameters. The function result shall be one if the parameters represent a valid variable assignment for that gate. It is also known as karnaugh-map.

4. solve the CNF (Davis Putnam algorithm), solving the equations of the CNF by taking last variable by either taking as 0 or 1. For more understanding on Davis putnam refer PDF.

5. and output the result (either “equivalent” or a not equivalent and if not equivalent then print a counter example).

Please refer PDF which is attached for more detailed information and understanding of the task. Also attached are the C++, python template file which does the basic task of reading in the netlists.

Kỹ năng: Lập trình C++, Thiết kế vi mạch, Điện tử, Python, Kiến trúc phần mềm

Xem thêm: warning mysql_fetch_array supplied argument is not a valid mysql result resource in c appserv www freelancer admin redirect php, using html and javascript you have create a web page that allows users to choose the design of a sofa see figure 1, using html and javascript you have create a web page that allows users to choose the design of a sofa, the site url property of the project does not contain a valid url to ensure that designers work as expected set the site url pro, not a valid email address, is escrow com a valid method of payment, i need to hire a writer for my assignment, i need help with a simple web design assignment, how to write a conclusion for management assignment, how to get a valid seller's permit in texas for free, how to get a valid .edu email address, create five different logos of your choic using any version of coral draw in a page and print, come faccio ad in dividuare un felis su php per torvarequesto errorewarning mysql_fetch_array supplied argument is not a valid m, fill in a spreadsheet for me - hours of work will pay up to $20/hr if you can do it, design a logo for my grill gate company

Về Bên Thuê:
( 1 nhận xét ) Karlsruhe, Germany

Mã Dự Án: #12110204

Đã trao cho:

vtatarenko

hi there! Thank you for invitation. I have read the description and can say that I am suitable for this project. What is the due date because I am busy for next couple of days and can't start right now. Regards, Thêm

€30 EUR trong 7 ngày
(7 Đánh Giá)
2.6

5 freelancer đang chào giá trung bình €122 cho công việc này

hbxfnzwpf

I am very proficient in c and c++. I have 16 years c++ developing experience now, and have worked for more than 6 years. My work is online game developing, and mainly focus on server side, using c++ under linux environ Thêm

€80 EUR trong 3 ngày
(76 Đánh Giá)
6.6
€155 EUR trong 3 ngày
(12 Đánh Giá)
4.7
rekreacija

hello, as an electronics engineer i've never built a SAT checker/solver, and it would be a challenge for me to help you on this. there's a long read which i don't mind having and i lowered the price somewhat. Thêm

€100 EUR trong 15 ngày
(31 Đánh Giá)
5.0
cracken

Hi, I am competitive to this kind of task, can take good care of this project. In fact, I already done related to this job before. Let me know the best of your time so we can discuss further based on your requirements Thêm

€299 EUR trong 5 ngày
(13 Đánh Giá)
4.6
worldc584

Hi, I have got your job posting and I am very interested in this project. I have many experiences of c++ programming over 10 years. If you select me, I will do my best to complete the project. Thanks

€100 EUR trong 3 ngày
(3 Đánh Giá)
1.8