Questions tagged [pyeda]

PyEDA is a Python library for electronic design automation.

This tag is intended for coding questions about using or modifying the Python Electronic Design Automation PyEDA library.

PyEDA is primarily concerned with implementing the data structures and algorithms necessary for performing logic synthesis and verification. These tools form the theoretical foundation for the implementation of CAD tools for designing VLSI (Very Large Scale Integrated circuit).

For detailed information and examples, visit the PyEDA documentation.

See also the official Github page.

17 questions
0
votes
1 answer

How to create a PyEDA boolean expression using a string containing a boolean expression?

I am obtaining a boolean expression in the form of ( (A & B) | (C & ~D) ) from the frontend. I need to convert this into a boolean expression that can be solved by PyEDA. There are two steps to be done to write a boolean expression in PyEDA. Create…
0
votes
1 answer

PyEDA: Converting a Text string to DNF form

I'm a beginner in Python. I'm tring to convert a text string into its DNF form using PyEDA. My code works fine for this string. X[0]&(X[1]|X[2]) --> Or(And(X[0],X[1]), And(X[0],X[2])) But when i try with the string mentioned below, it does not work…
Tharun
  • 1
  • 1
1
2