Formal Methods in Computer-Aided Design
Alan J. Hu, Andrew K. Martin
₹5,605
Reasoning in Boolean Networks
Logic Synthesis and Verification Using Testing Techniques: 9
by Dominik Stoffel, Wolfgang Kunz
Springer Verlag · 2010
₹11,543
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques: 9 by Dominik Stoffel & Wolfgang Kunz is a 240-page book published by Springer Verlag in 2010.
Topics covered include Computer engineering, Computer-aided design, Computer science and Integrated circuits.
Book details
- ISBN-13
- 9781441951762
- ISBN-10
- 1441951768
- Authors
- Dominik Stoffel, Wolfgang Kunz
- Publisher
- Springer Verlag
- Published
- 2010
- Edition
- 1st ed. Softcover of orig. ed. 1997
- Pages
- 240
- Language
- English
- Condition
- New
- Subject
- Integrated circuits
More in Integrated circuits
Algorithms for Vlsi Design Automation
Gerez S.h
₹4,631
Digital VLSI Systems Design
Seetharaman Ramachandran
₹4,549
Integrated Circuit and System Design
Hutchison, David - undifferentiated
₹4,248
PIC BASIC Projects
Dogan Ibrahim
₹2,971
High-Frequency Integrated Circuits
Sorin Voinigescu
₹4,126
Mixed-signal and DSP Design Techniques
Walt Kester
₹3,320
Timing
Sachin Sapatnekar
₹15,365
Analog VLSI Implementation of Neural Systems
Carver Mead
₹9,125
Language-Driven Exploration and Implementation of Partially Re-Configurable Asips
Anupam Chattopadhyay, Rainer Leupers, Heinrich Meyr, Gerd Ascheid
₹10,910
Statistical Analysis and Optimization for Vlsi
Ashish Srivastava, Dennis Sylvester, David Blaauw
₹4,343
Applied Formal Verification
Douglas L. Perry, Harry Foster
₹5,271