Skip to content

Feature/word level structures #571

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Draft
wants to merge 264 commits into
base: master
Choose a base branch
from
Draft

Feature/word level structures #571

wants to merge 264 commits into from

Conversation

@julianspeith
Copy link
Contributor

@julianspeith julianspeith commented Jun 3, 2024

DO NOT MERGE

julianspeith and others added 30 commits July 3, 2023 11:49
@julianspeith
cleanup cmake
3de3a33
@julianspeith
new get_net_gates API and pybind support
90c4e10
@julianspeith
pybind and doc fixes
cb57895
@SimonKlx
small changes to resynthesis and added basic hal gate libraries
a8603f1
@SimonKlx
Merge branch 'feature/word_level_structures' of github.com:emsec/hal …
9efb659 
…into feature/word_level_structures
@nils1603
cmake god
2998d30
@nils1603
cmake god
295e3f3
@SimonKlx
added mux preprocessing as well as some more smaller hal gate libs
5980f54
@SimonKlx
added genlib writer plugins and some more gate libs
ba50cb1
@nils1603
added missing include
dd797d0
@SimonKlx
added constant propagation in netlist preprocessing.
d95736e
@SimonKlx
Merge branch 'feature/word_level_structures' of github.com:emsec/hal …
c878dae 
…into feature/word_level_structures
@SimonKlx
small fix to the removal of unused lut endpoints
7be2ffd
@nils1603
added yosys for resynth
b2edc34
@nils1603
added yosys for resynth
101d764
@nils1603
added better error handling
7615b6b
@julianspeith
potential verilog writer fix (untested, Nils will find out)
04108df
@julianspeith
Nils found out (fix untested of course)
858225d
@julianspeith
probably fixed GND and VCC nets
75a3797
@julianspeith
only assign value to gcc/vcc nets if they have no source
4cf13de
@julianspeith
prettify indentation
4f03be5
@SimonKlx
small changes to the netlist resysnthesis
47f8a80
@SimonKlx
Merge branch 'feature/word_level_structures' of github.com:emsec/hal …
af4a3ab 
…into feature/word_level_structures
@julianspeith
preprocessing for known net groups
068e500
@julianspeith
Merge branch 'feature/word_level_structures' of https://github.com/em…
4f86877 
…sec/hal into feature/word_level_structures
@julianspeith
known structures from gate types
cdf4f87
@julianspeith
new passes being executed only if known structures are provided (unte…
1fadfba 
…sted, but does not crash)
@SimonKlx
small bug fix to netlist preprocessing
1870b15
@SimonKlx
Merge branch 'feature/word_level_structures' of github.com:emsec/hal …
2b8fac7 
…into feature/word_level_structures
@julianspeith
improved performance for remove_redundant_logic
b6c8d5a
Simon Klix and others added 30 commits March 15, 2024 11:57
Merge branch 'feature/word_level_structures' of github.com:emsec/hal …
fc353af 
…into feature/word_level_structures
bug fixes to make tests run
063ef8d
@SimonKlx
small change to boolean influence script
0c3af9b
@SimonKlx
Merge branch 'feature/word_level_structures' of github.com:emsec/hal …
c7d8df2 
…into feature/word_level_structures
@SimonKlx
Merge with master
2ecf2a0
created symbolic execution for simplifies
03d1af8
added initial bitwuzla simplification
6147ef5
finished adding simplify for bitwuzla
15692cf
@SimonKlx
work for white box case study
5345634
@SimonKlx
small bug fix to the known groups preprocessing in the dataflow plugi…
b7e1ee6 
…n regarding caching
@julianspeith
make clang build again
c3dceb1
@julianspeith
fixed fingerprint calculation
c46d7b2
@nils1603
added new find carry chain function to netlist utils
205773a
@nils1603
removed double const
ef8bc49
@julianspeith
updated documentation
286ffc8
current state
49ec95f
@julianspeith
remove misplaced z3_utils.cpp
ea63638
@julianspeith
Merge branch 'feature/word_level_structures' of https://github.com/em…
5f59f81 
…sec/hal into feature/word_level_structures
@SimonKlx
current state
5234927
@SimonKlx
Merge branch 'feature/word_level_structures' of github.com:emsec/hal …
2420d3d 
…into feature/word_level_structures
@julianspeith
fixed multiple DANA runs with different configs
8041b76
@julianspeith
Merge branch 'feature/word_level_structures' of https://github.com/em…
540d744 
…sec/hal into feature/word_level_structures
@SimonKlx
disable NEG z3 operation for the moment.
9a0f200
@SimonKlx
Merge branch 'feature/word_level_structures' of github.com:emsec/hal …
137c38a 
…into feature/word_level_structures
@julianspeith
remove old get_next_gates
6b86790
@Alice-Verstege
fixed final bugs and finished up bitwuzla simplification
567dee6
@Alice-Verstege
Merge branch 'feature/word_level_structures' of https://github.com/em…
5dcbebf 
…sec/hal into feature/word_level_structures
@Alice-Verstege
add evaluate and subsitute utilizing preexisting functions
69fcf55
@julianspeith
formatting
d4c7971
@julianspeith
use c++17 and activate insertion of braces
16ef0c8
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@SimonKlx SimonKlx Awaiting requested review from SimonKlx SimonKlx will be requested when the pull request is marked ready for review SimonKlx is a code owner

@nils1603 nils1603 Awaiting requested review from nils1603 nils1603 will be requested when the pull request is marked ready for review nils1603 is a code owner

@joern274 joern274 Awaiting requested review from joern274 joern274 will be requested when the pull request is marked ready for review joern274 is a code owner

@swallat swallat Awaiting requested review from swallat swallat will be requested when the pull request is marked ready for review swallat is a code owner

At least 1 approving review is required to merge this pull request.

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

5 participants

@julianspeith @SimonKlx @nils1603 @Alice-Verstege