Encode to CoreIR
Past due by over 4 years
0% complete
It would be useful to perform operations on the circuit representation for hardware model checking. Some examples include:
- cone of influence reduction
- wire-cutting abstractions
- replacing memories with stubs
Thus, we plan to use CoreIR as our intermediate circuit representation, regardless of input format, then have only one encoder from CoreIR to a tran…
It would be useful to perform operations on the circuit representation for hardware model checking. Some examples include:
- cone of influence reduction
- wire-cutting abstractions
- replacing memories with stubs
Thus, we plan to use CoreIR as our intermediate circuit representation, regardless of input format, then have only one encoder from CoreIR to a transition system format.