A General Computational Framework and Simulations of Branching Programs of Boolean Circuits Using Higher Order Logic (HOL) Software - An Insight into ECAD Tool Design Paradigm
Gate-Diffusion Input (GDI) -- A Power Efficient Method for Digital Combinatorial Circuits