Title: VHDL: A logic synthesis approach, Author: D. Naylor
Title: Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis, Author: William K.C. Lam
Title: The Origins of Digital Computers: Selected Papers, Author: B. Randell
Title: The Logic Programming Tutor, Author: Jocelyn Paine
Title: The Clausal Theory of Types, Author: D. A. Wolfram
Title: Synthesis Techniques and Optimizations for Reconfigurable Systems, Author: Ryan Kastner
Title: Synthesis of Finite State Machines: Logic Optimization, Author: Tiziano Villa
Title: Synthesis of Arithmetic Circuits: FPGA, ASIC and Embedded Systems, Author: Jean-Pierre Deschamps
Title: Symbolic Model Checking, Author: Kenneth L McMillan
Title: Switching Theory for Logic Synthesis, Author: Tsutomu Sasao
Title: Structural Health Monitoring: A Machine Learning Perspective, Author: Charles R. Farrar
Title: Sequential Optimization of Asynchronous and Synchronous Finite-State Machines: Algorithms and Tools, Author: Robert M. Fuhrer
Title: Sequential Logic Testing and Verification, Author: Abhijit Ghosh
Title: Sequential Logic Synthesis, Author: Pranav Ashar
Title: Separation Logic for High-level Synthesis, Author: Felix Winterstein
Title: Representations of Discrete Functions, Author: Tsutomu Sasao
Title: Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques, Author: Wolfgang Kunz
Title: Principles of Verilog Digital Design, Author: Wen-Long Chin
Title: Principles of Modern Digital Design, Author: Parag K. Lala
Title: Principles and Structures of FPGAs, Author: Hideharu Amano

Pagination Links