Thanks to visit codestin.com
Credit goes to github.com

#

phdd

Here is 1 public repository matching this topic...

runekrauss / freddy

A design automation framework to engineer decision diagrams yourself

bdd eda add bmd formal-verification decision-diagrams hardware-testing boolean-function bhd pseudo-boolean kfdd phdd

Updated Dec 31, 2025
C++

Improve this page

Add a description, image, and links to the phdd topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the phdd topic, visit your repo's landing page and select "manage topics."