In this project we will seek to answer questions such as the following: conditioned on the event that the output of the circuit is true, what is the probability that the 7th input value is false?
This project deals with combinatorial circuits. In particular, circuits over the basis {AND, NOT} which have only one output. The goal is to analyze such circuits when the values to the inputs of the circuit are chosen at random according to some given distribution; for example, according to the uniform distribution, though we will not limit ourselves to this distribution alone.
We will seek to answer questions such as the following: conditioned on the event that the output of the circuit is true, what is the probability that the 7th input value is false?
We will implement and analyze different algorithms for answering such questions, based on several state-of-the-art methods.
Prerequisites: Strong C++ and Python coding skills.
Supervisor : Guy Wolfovitz (Cadence – Software Architect)