Kunz Books
Reasoning in Boolean Networks
Reasoning in Boolean Networks provides a detailed treatment of recent research advances in algorithmic techniques for logic synthesis, test generation and formal verification of digital circuits. T...
Read More