Implementing Boolean Functions with switching lattice networks
Rajesh Kumar Datta

TL;DR
This paper presents a new method for implementing Boolean functions using four-terminal switching lattice networks, including a synthesis tool, a library creation process, and a systematic procedure for efficient implementation.
Contribution
It introduces a novel systematic approach and tools for implementing any Boolean function with four-terminal lattice networks, improving efficiency over traditional methods.
Findings
Developed a synthesis tool for Boolean functions with lattice networks
Created a library of Boolean functions for testing and implementation
Proposed a systematic procedure for efficient Boolean function implementation
Abstract
Four terminal switching network is an alternative structure to realize the logic functions in electronic circuit modeling. This network can be used to implement a Boolean function with less number of switches than the two terminal based CMOS switch. Each switch of the network is driven by a Boolean literal. Any switch is connected to its four neighbors if a literal takes the value 1 , else it is disconnected. In our work, we aimed to develop a technique by which we can find out if any Boolean function can be implemented with a given four-terminal network. It is done using the path of any given lattice network. First, we developed a synthesis tool by which we can create a library of Boolean functions with a given four-terminal switching network and random Boolean literals. This tool can be used to check the output of any lattice network which can also function as a lattice network…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFormal Methods in Verification · Neural Networks and Applications · VLSI and FPGA Design Techniques
