And Inverter Graphs are used in Formal Verification Scenario. This repository contains my development efforts to rewrite and inverter graphs to share common logic wihout increasing delay.
-
Notifications
You must be signed in to change notification settings - Fork 0
lakhanshiva/And-Inverter-Graph-Rewriting
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Rewrite DAG aware and-inverter graphs to share common logic wihout increasing delay
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published