issues
search
nbulsi
/
also
A logic synthesis tool
MIT License
67
stars
30
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Number of Inverters
#66
Mbonea-Mjema
opened
2 years ago
0
Names
#65
zfchu
closed
3 years ago
0
blif i/o
#64
zfchu
closed
3 years ago
0
direct mapping
#63
zfchu
closed
3 years ago
0
Trying to count the number of inverters
#62
Mbonea-Mjema
closed
2 years ago
15
Update of command stp_circuit and stp_cnf
#61
panhomyoung
opened
3 years ago
0
RM logic optimization
#60
zhw-zhw
closed
2 years ago
0
Mapper
#59
zfchu
closed
3 years ago
0
Mockup
#58
zfchu
closed
3 years ago
0
Sto
#57
xianghex
opened
3 years ago
0
Sat time
#56
zfchu
closed
3 years ago
0
stochastic circuit synthesis using preoccupied assignment
#55
zfchu
closed
3 years ago
0
heuristic stochastic circuit synthesis
#54
nbulsi
closed
3 years ago
0
main file
#53
xianghex
closed
3 years ago
0
Stochastic
#52
xianghex
closed
3 years ago
0
Genlib
#51
zfchu
closed
3 years ago
0
img fanout problem
#50
chenlin31
opened
3 years ago
0
test circuit-structure conversion
#49
ShangChuanhe
closed
3 years ago
0
update mockturtle and fix conflicts
#48
zfchu
closed
3 years ago
0
Mapping
#47
zfchu
closed
3 years ago
1
Mighty
#46
zfchu
closed
3 years ago
0
mighty command problem
#45
Cherryvt
closed
3 years ago
3
App
#44
zfchu
closed
3 years ago
0
update alice submodule
#43
zfchu
closed
3 years ago
0
remove min number of nodes constraint
#42
zfchu
closed
3 years ago
0
add write_aiger command
#41
thm123
closed
3 years ago
1
bugfix img subsititute node
#40
zfchu
closed
3 years ago
0
update alice
#39
zfchu
closed
3 years ago
0
approximate logic synthesis under error distance constraints
#38
zfchu
closed
3 years ago
0
Load multiple boolean function for exact synthesis
#37
zfchu
closed
3 years ago
0
bugfix:depth_view problem cause crash and segmentation fault
#36
zfchu
closed
3 years ago
0
create m3ig after exact_m3ig
#35
zfchu
closed
3 years ago
0
Implement "exact_m3ig" for "show"
#34
ShangChuanhe
closed
3 years ago
0
Exprsim
#33
zfchu
closed
3 years ago
0
add command exprsim -m
#32
ShangChuanhe
closed
3 years ago
0
Stochastic circuit synthesis
#31
zfchu
closed
3 years ago
0
Stochastic
#30
zfchu
closed
4 years ago
0
xag balancing
#29
zfchu
closed
4 years ago
0
Add Compiler Clang 12.0.0
#28
zfchu
closed
4 years ago
0
img expression to network
#27
zfchu
closed
4 years ago
0
Decompose a truth table into an XAG using various decomposition method
#26
zfchu
closed
4 years ago
0
有没有ALSO的使用教程
#25
GitZgl
closed
4 years ago
2
cut rewriting for img
#24
zfchu
closed
4 years ago
0
update two functions: (a(bc)) = ((ab)c) [a[bc]] = [[ab]c]
#23
thm123
closed
4 years ago
0
merge xagrw branch
#22
zfchu
closed
4 years ago
0
update xag_rewriting code
#21
thm123
closed
4 years ago
0
xag_rewriting
#20
thm123
closed
3 years ago
0
nni cost fnction
#19
thm123
closed
4 years ago
0
update_nnicost_function_static
#18
thm123
closed
4 years ago
0
Update mockturtle
#17
zfchu
closed
4 years ago
0
Next