algebraic method for the analysis and synthesis of fanour-free functions
Some investigations on the diagnostic test for logic networks
Symbolic verification of digital hardware designs
new digital processing scheme for industrial applications
