Citation:
A. U. Hassen, D. Chakraborty, and S. K. Jha, “
Free Binary Decision Diagram Based Synthesis of Compact Crossbars for in-Memory Computing of Boolean Functions
,” Transactions on Circuits and Systems (TCAS) II, 2018. Copy at http://www.tinyurl.com/y7seht6z
See also: Emerging Computer Architectures, Formal Methods