search

nbulsi / also

A logic synthesis tool
MIT License
67 stars 30 forks source link

update two functions: (a(bc)) = ((ab)c) [a[bc]] = [[ab]c] #23

Closed thm123 closed 4 years ago

thm123 commented 4 years ago

Has passed compilation and equivalence testing