Modeling Bidirectional Switches for Enabling Logic Equivalence Checking in a Transistor-Level Programmable Fabric | IEEE Journals & Magazine | IEEE Xplore