Syrup
Syrup copied to clipboard
A compiler pass deploying De Morgan's laws
This would allow us to quickly generate transformed circuits demonstrating the impact of DM on e.g. circuit latency.