Logic design - Books

· A First Course in Digital Systems Design: An Integrated Approach
· Advanced ASIC Chip Synthesis: Using Synopsys Design Compiler and Primetime
· Advanced Asic Chip Synthesis: Using Synopsys Design Compiler, Physical Compiler, and Primetime
· Advanced Digital Design with the Verilog(TM) HDL
· Advanced Metallization & Interconnect Systems for Ulsi Applications in 1996: Materials Research Society Conference Proceedings (Mrs Conference Proceedings, Vol 12)
· Advanced Metallization for ULSI Applications: Proceedings of the Conference Held October 8-10, 1991, at AT&T Bell Laboratories, Murray Hill, New Jerse
· Advanced Topics in Term Rewriting
· Advances in Modal Logic Vol. 3
· Algebraic Approaches to Program Semantics (The Akm Series in Theoretical Computer Science)
· Ambient Intelligence: Impact on Embedded System Design
· An Artificial Intelligence Approach to Test Generation (Kluwer International Series in Engineering and Computer Science, 19)
· Analog Design for Cmos Vlsi Systems (Kluwer International Series in Engineering and Computer Science, 646)
· Analog VLSI: Circuits and Principles
· Apple Pro Training Series: Logic 6
· Application-Specific Integrated Circuits
· Architecture and CAD for Deep-Submicron Fpgas (Kluwer International Series in Engineering and Computer Science, 497)
· ASIC Handbook, The
· Assertion-Based Design
· Asynchronous Circuits (Monographs in Computer Science)
· Automatic Verification of Sequential Infinite-State Processes (Lecture Notes in Computer Science, 1354)
· Basic Proof Theory
· Categorical Methods in Computer Science: With Aspects from Topology (Lecture Notes in Computer Science, 393)
· Category Theory and Computer Science: 7th International Conference, Ctcs '97 Santa Margherita Ligure Italy, September 4-6, 1997: Proceedings (Lecture Notes in Computer Science, 1290)
· Circuit Design with VHDL
· Closing the Gap Between Asic & Custom: Tools and Techniques for High-Performance Asic Design
· Cmos Logic Circuit Design
· Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes and Their Relationship (Lecture Notes in Computer S)
· Computation Structures (MIT Electrical Engineering and Computer Science)
· Computational Logic: Logic Programming and Beyond: Essays in Honor of Robert A. Kowalski (Lecture Notes in Computer Science, 2408)
· Computer Aided Design and Vlsi Device Development (Kluwer International Series in Engineering and Computer Science, 53)
· Computer Aided Verification 2001 (Lecture Notes in Computer Science, 2102)
· Computer Aided Verification: 15th International Conference, Cav 2003, Boulder, Co, Usa, July 8-12, 2003, Proceedings (Lecture Notes in Computer Science, 2725)
· Computer Aided Verification: 3rd International Workshop, Cav 92: Proceedings (Lecture Notes in Computer Science, Vol 575)
· Computer Aided Verification: 7th International Conference, Cav '95', Liege, Belgium, July 3-5, 1995 Proceedings. (Lecture Notes in Computer Science 939)
· Computer Circuits Electrical Design
· Computer Science Logic: 12th International Workshop, Csl '98: Annual Conference of the Eacsl, Brno, Czech Republic, August, 1998: Proceedings (Lecture Notes in Computer Science, 1584)
· Computer-Aided Verification: 2nd International Conference, Cav '90 New Brunswick, Nj, Usa, June 18-21, 1990 Proceedings (Lecture Notes in Computer S)
· Concepts in User Interfaces: A Reference Model for Command and Response Languages (Lecture Notes in Computer Science, Vol 234)
· Concur 2000 Concurrency Theory (Lecture Notes in Computer Science, 1877)
· Concur '92: Third International Conference on Concurrency Theory, Stony Brook, Ny, Usa, August 1992: Proceedings (Lecture Notes in Computer Science)
· Concur '95 Concurrency Theory: 6th International Conference, Philadelphia, Pa, USA, August 21 - 24, 1995. Proceedings
· Concur '96: Concurrency Theory: 7th International Conference, Pisa, Italy, August 26 - 29, 1996. Proceedings
· Concur'98. Concurrency Theory: 9th International Conference, Nice, France, September 8-11, 1998 Proceedings (Lecture Notes in Computer Science , Vol 1466)
· Contemporary Logic Design
· Contemporary Logic Design/Computer Logicworks Package
· Csl, '89. 3rd Workshop on Computer Science Logic, Kaiserlautern, Frg, October 2-6, 1989. Proceedings. (Lecture Notes in Computer Science, Vol 440)
· Current Sense Amplifiers: For Embedded Sram in High-Performance System-On-A-Chip Designs (Springer Series in Advanced Microelectronics, 12)
· Dc Flux Parametron: A New Approach to Josephson Junction Logic (World Scientific Series in Computer Science, Volume 6)
· Descriptive Complexity (Graduate Texts in Computer Science)
· Design of Analog-Digital VLSI Circuits for Telecommunications and Signal Processing (2nd Edition)
· Design of Computers and Other Complex Digital Devices
· Design of Vlsi Systems: A Practical Introduction (Computer Science Series)
· Design of Vsli Systems: A Practical Introduction
· Digital and Microprocessor Fundamentals: Theory and Application (4th Edition)
· Digital Circuit Testing and Testability
· Digital Circuits
· Digital Computer Arithmetic Datapath Design Using Verilog Hdl (International Series in Operations Research?and Management Science)
· Digital Design from Zero to One
· Digital Design with CPLD Applications and VHDL
· Digital Designing in the Programmable Logic Devices
· Digital Devices and Systems (with PLD Applications)
· Digital Logic Circuit Analysis and Design
· Digital Logic Design Principles
· Digital Logic Simulation and CPLD Programming with VHDL
· Digital Logic Simulations with CPLD Programming (2nd Edition)
· Digital Logic: Applications and Design
· Digital Principles and Applications
· Digital Principles and Design with CD-ROM
· Digital Systems Design and Prototyping: Using Field Programmable Logic and Hardware Description Languages
· Dynamic Logic (Foundations of Computing)
· Embedded Software: Second International Conference, Emsoft 2002, Grenoble, France, October 2002: Proceedings (Lecture Notes in Computer Science, 2491)
· Emerging Technologies for in Situ Processing (NATO Asi Series, Series E: Applied Sciences, No 139)
· Enterprise Java Development on a Budget: Leveraging Java Open Source Technologies
· Evolvable Systems: From Biology to Hardware: First International Conference, Ices96 Tsukuba, Japan, October 7-8, 1996: Proceedings (Lecture Notes in Computer Science, 1259)
· Field-Programmable Gate Arrays
· Field-Programmable Gate Arrays : Reconfigurable Logic for Rapid Prototyping and Implementation of Digital Systems
· Field-Programmable Logic and Applications: 7th International Workshop, Fpl'97 London, Uk, September 1-3, 1997: Proceedings (Lecture Notes in Computer Science, 1304)
· Formal Hardware Verification: Methods and Systems in Comparison (Lecture Notes in Computer Science, 1287)
· Foundations of Software Science and Computation Structures: First International Conference, Fossacs'98 Held As Part of the Joint European Conferences on Theory and Practic of Software, Etaps'98 Lisbon, portugal (Lecture Notes in Computer Science, 1378)
· Foundations of Software Science and Computation Structures: Third International Conference, Fossacs 2000, Held As Part of the Joint European Conference on Theory and Practice of Software, Etaps 2000, Berlin (Lecture Notes in Computer Science, 1784)
· Foundations of Software Technology and Theoretical Computer Science 11th Conference, New Delhi, India December 17-19, 1991 Proceedings
· Foundations of Software Technology and Theoretical Computer Science: 16th Conference, Hyderabad, India, December 18-20, 1996 (Annual Conference Proceedings)
· From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science, Vol 271)
· Fundamentals of Digital Logic and Microcomputer Design, Revised Edition
· Fundamentals of Digital Logic with VHDL Design with CD-ROM
· Fundamentals of Logic Design
· Fuzzy Decision Making in Modeling and Control (World Scientific Series in Robotics and Intelligent Systems)
· Fuzzy Logic for Real World Design
· Handshake Circuits : An Asynchronous Architecture for VLSI Programming
· Hardware Specification Verification and Synthesis: Mathematical Aspects (Lecture Notes in Computer Science, Vol 408)
· High-Speed Digital Design: A Handbook of Black Magic
· High-Speed VLSI Interconnections: Modeling, Analysis, and Simulation
· Hybrid Systems IV (Lecture Notes in Computer Science, 1273)
· Integrated Circuits for Computers: Principles and Applications
· Integrated Formal Methods
· Introduction to Computer Engineering: Logic Design and the 8086 Microprocessor (Book/Disk)
· Introduction to Digital Logic Design
· Introduction to Formal Hardware Verification
· Introduction to Logic Design with CD
· Introduction to Microelectronic Fabrication: Volume 5 of Modular Series on Solid State Devices (2nd Edition)
· Introduction to Vlsi Silicon Devices: Physics, Technology and Characterization (Kluwer International Series in Engineering and Computer Science, 10)
· Investing Online for Dummies, Fourth Edition
· Lecture Notes on Empirical Software Engineering
· Legacy Data: A Structured Methodology for Device Migration in Dsm Technology
· Live Data Structures in Logic Programs (Lecture Notes in Computer Science, No 675)
· Logic and Language Models for Computer Science
· Logic and Learning
· Logic and Structured Design for Computer Programmers
· Logic Design of Digital Systems
· Logic Design Theory
· Logic For Applications
· Logic in Computer Science: Modelling and Reasoning about Systems
· Logic of Programs
· Logic Programming and Soft Computing (Uncertainty Theory in Artificial Intelligence Series, 3)
· Logic Programming: The 1995 International Symposium (Logic Programming)
· Logic Synthesis
· Logic Synthesis and Verification (Kluwer International Series in Engineering and Computer Science, 654)
· Logic Synthesis and Verification Algorithms
· Logic Synthesis for Control Automata
· Logic Synthesis Using Synopsis
· Logic, Algebra, and Computation (NATO Asi Series. Series F, Computer and System Sciences, Vol 79)
· Logic, Language and Computation: Volume 2
· Logical Aspects of Computational Linguistics: Second International Conference, Lacl '97, Nancy, France, September 22-24, 1997 Selected Papers (Lecture Notes in Computer Science)
· Logical Effort : Designing Fast CMOS Circuits
· Logic-Based Program Synthesis and Transformation: 8th International Workshop, Lopstr'98, Manchester, Uk, June 15-19, 1998: Selected Papers (Lecture Notes in Computer Science, 1559)
· Logics for Concurrency: Structure Versus Automata (Lecture Notes in Computer Science, 1043)
· Logics for Emerging Applications of Databases
· Logicworks 3: Interactive Circuit Design Software for Windows and Macintosh
· Low-Voltage SOI CMOS VLSI Devices and Circuits
· Many-Valued Logics 2
· Material Processing by Non-Traditional Techniques: Proceedings of Harima International Symposium
· Mathematical Models for the Semantics of Parallelism (Lecture Notes in Computer Science, Vol 280)
· Microcomputer Structures
· Mixed Signal VLSI Wireless Design - Circuits and Systems
· Modern Placement Techniques
· Multichip Module Technologies and Alternatives: The Basics
· Nmr Techniques in Catalysis
· Noise Analysis of Radio Frequency Circuits
· Object-Oriented Technology: Ecoop 2000 Workshops, Panels and Posters, Sophia Antipolis and Cannes, France, June 12-16, 2000: Proceedings (Lecture Notes in Computer Science, 1964)
· On Optimal Interconnections for Vlsi (Kluwer International Series in Engineering and Computer Science, 301)
· Op Amps for Everyone
· Op Amps: Design, Application, and Troubleshooting
· Operational Amplifier Speed and Accuracy Improvement: Analog Circuit Design With Structural Methodology (Kluwer International Series in Engineering and Computer Science, 763)
· Optimal Interprocedural Program Optimization: A New Framework and Its Application (Lecture Notes in Computer Science, 1428)
· Paths, Flows and VLSI-Layout (Algorithms and Combinatorics, Vol 9)
· Petri Nets for Systems Engineering
· P-Functions and Boolean Matrix Factorization: A Unified Approach for Wired, Programmed, and Microprogrammed Implementations of Discrete Algorithms (Lecture Notes in Computer Science, Vol 175)
· Photodiode Amplifiers: OP AMP Solutions
· Pipelined Processor Farms: Structured Design for Embedded Parallel Systems
· Power Aware Design Methodologies
· Power-Constrained Testing of Vlsi Circuits (Frontiers in Electronic Testing, 22)
· Practical Aspects of Knowledge Management
· Practical Digital Design and Testing
· Principles of Cmos Vlsi Design
· Principles of Digital Design
· Principles of Verifiable RTL Design Second Edition - A Functional Coding Style Supporting Verification Processes in Verilog
· Programmable Controllers
· Programmable Logic Controllers
· Programmable Logic Controllers
· Programming and Customizing the OOPic Microcontroller : The Official OOPic Handbook (TAB Robotics)
· Programming Challenges
· Programming PLCs Using Rockwell Automation Controllers
· Rapid Prototyping of Digital Systems
· Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques (Frontiers in Electronic Testing, V. 9)
· Recent Trends in Algebraic Development Techniques: 12th International Workshop, Wadt '97, Tarquinia, Italy, June 3-7, 1997: Selected Papers (Lecture Notes in Computer Science, 1376)
· Reduced Thermal Processing for Ulsi (NATO Asi Series. Series, B, Physics, Vol 207)
· Refinement Calculus: A Systematic Introduction (Graduate Texts in Computer Science)
· Reflection in Rewriting Logic : Metalogical Foundations and Metaprogramming Applications
· Relations and Graphs: Discrete Mathematics for Computer Scientists (Eatcs Monographs on Theoretical Computer Science)
· Research on Integrated Systems : Proceedings of the 1993 Symposium
· Reuse Methodology Manual for System-On-A-Chip Designs
· Rewriting Techniques and Applications: 9th International Conference, Rta-98 Tsukuba, Japan, March 30- April 1, 1998: Proceedings (Lecture Notes in Computer Science, 1379)
· Selected Papers on the Analysis of Algorithms
· Self-Checking and Fault-Tolerant Digital Design
· Semantics of Systems of Concurrent Processes Litp Spring School on Theoretical Computer Science, Laroche Posay, France, April 23-27, 1990) (Lecture N)
· Sequential Optimization of Asynchronous and Synchronous Finite-State Machines: Algorithms and Tools
· Signal and Power Integrity in Digital Systems: TTL, CMOS, and BiCMOS
· Simplified Design of Microprocessor-Supervisory Circuits
· Simulations for Operational Amplifiers Using Electronics Workbench
· Software Blueprints: Lightweight Uses of Logic In Conceptual Modelling
· Spectral Interpretation of Decision Diagrams
· Spectral Techniques and Fault Detection (Notes and Reports in Computer Science and Applied Mathematics)
· Spin Model Checking and Software Verification: 7th International Spin Workshop Stanford, Ca, Usa, August 30-September 1, 2000 Proceedings (Lecture Notes in Computer Science, 1885)
· Static Analysis: 4th International Symposium, Sas'97, Paris, France, September 1997: Proceedings (Lecture Notes in Computer Science, 1302)
· Structured Logic Design with VHDL
· Substrate Noise Coupling in Mixed-Signal Asics
· Switching Theory for Logic Synthesis
· Synthesis and Optimization of Digital Circuits
· System Specification & Design Languages: Best of Fdl'02 (The Chdl Series)
· Systematic Design of Analog Ip Blocks (Kluwer International Series in Engineering and Computer Science, 738)
· System-on-a-Chip Verification - Methodology and Techniques
· System-On-A-Chip: Design and Test
· System-On-Chip for Real-Time Applications (Kluwer International Series in Engineering and Computer Science, 711)
· Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2
· The Analysis of Concurrent Systems (Lecture Notes in Computer Science, Vol 207)
· The Art of 3-D : Computer Animation and Imaging, 2nd Edition
· The Best of Iccad: 20 Years of Excellence in Computer-Aided Design
· The Bounding Approach to Vlsi Circuit Simulation (Kluwer International Series in Engineering and Computer Science, 17)
· The Computer and the Brain
· The In-System Configuration Handbook: A Designer's Guide to ISC
· The Verilog Hardware Description Language
· Theoretical Aspects of Computer Software: International Symposium, Tacs '97, Sendai, Japan, September 23-26, 1997: Proceedings (Lecture Notes in Computer Science, 1281)
· Timing Analysis and Optimization of Sequential Circuits
· Timing Verification of Application-Specific Integrated Circuits (ASICs)
· Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas '98, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '98, Lisbon (Lecture Notes in Computer Science, 1384)
· Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, Tacas 2000, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000, Berlin, germa (Lecture Notes in Computer Science, 1
· Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95, Aarhus, Denmark, May 19 - 20, 1995. Select
· Towards One-Pass Synthesis
· Trace Theory and Vlsi Design (Lecture Notes in Computer Science, 200)
· Types for Proofs and Programs: International Workshop, Types '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers (Lecture Notes in Computer Science, 1657)
· ULSI Science and Technology, 1995: Proceedings of the Fifth International Symposium on Ultra Large Scale Integration Science and Technology
· ULSI Semiconductor Technology Atlas
· Understanding Agent Systems (Springer Series on Agent Technology)
· Understanding Formal Methods
· Verification by Error Modeling: Using Testing Techniques in Hardware Verification (Frontiers in Electronic Testing, ?25)
· Verification Plans: The Five-Day Verification Strategy for Modern Hardware Verification Languages
· Verification, Model Checking, and Abstract Interpretation: 4th International Conference, Vmcai 2003, New York, Ny, Usa, January 2003: Proceedings (Lecture Notes in Computer Science, 2575)
· Verilog Coding for Logic Synthesis
· Verilog HDL Synthesis, A Practical Primer
· VHDL for Programmable Logic
· VHDL Starter's Guide
· Vlsi Algorithms and Architectures (Lecture Notes in Computer Science, Vol 227)
· Vlsi Algorithms and Architectures: Advanced Concepts
· VLSI Digital Signal Processing Systems : Design and Implementation
· VLSI for Wireless Communication
· VLSI Physical Design Automation: Theory and Practice
· Web Word Wizardry A Net-Savvy Writing Guide
· Winning the Soc Revolution: Experiences in Real Design