Title: High Speed Digital Design: A Handbook of Black Magic, Author: Howard Johnson
Title: Introduction to Logic Design, Author: Alan B. Marcovitz
Title: Computer-Aided Design Techniques for Low Power Sequential Logic Circuits, Author: José Monteiro
Title: Circuit Synthesis with VHDL, Author: Roland Airiau
Title: Logic Synthesis for Field-Programmable Gate Arrays, Author: Rajeev Murgai
Title: Principles of Verilog Digital Design, Author: Wen-Long Chin
Title: Digital Logic Design: A Rigorous Approach, Author: Guy Even
Title: Logic Design of NanoICS, Author: Svetlana N. Yanushkevich
Title: Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques, Author: Wolfgang Kunz
Title: The Clausal Theory of Types, Author: D. A. Wolfram
Title: Applications of Logic Databases, Author: Raghu Ramakrishnan
Title: Handbook of Practical Logic and Automated Reasoning, Author: John Harrison
Title: Functional Decomposition with Applications to FPGA Synthesis, Author: Christoph Scholl
Title: Advances in Computational and Stochastic Optimization, Logic Programming, and Heuristic Search: Interfaces in Computer Science and Operations Research, Author: David L. Woodruff
Title: Parallel and Constraint Logic Programming: An Introduction to Logic, Parallelism and Constraints, Author: Ioannis Vlahavas
Title: CMOS Logic Circuit Design, Author: John P. Uyemura
Title: Switching Theory for Logic Synthesis, Author: Tsutomu Sasao
Title: Separation Logic for High-level Synthesis, Author: Felix Winterstein
Title: Symbolic Model Checking, Author: Kenneth L McMillan
Title: Logic-Based Artificial Intelligence, Author: Jack Minker

Pagination Links