Abstract: In the HDL synthesis system of EDA design tools, high-level synthesis, RTL-level synthesis and logic-level synthesis often need to make a true-for-all judgment on logic functions. This paper presents an efficient true-for-all judgment algorithm, which uses cofactors, Shannon expansions and single-sided functions to make a fast and effective recursive judgment on multidimensional arrays of logic functions. The algorithm has been applied in the self-developed VHDL synthesis system HLS/BIT.
You Might Like
Recommended ContentMore
Open source project More
Popular Components
Searched by Users
Just Take a LookMore
Trending Downloads
Trending ArticlesMore