Download App
>> | LShop | >> | Book | >> | Technology, Engineer... | >> | Applied Formal Verif... |
ISBN
:
9780071443722
Publisher
:
McGraw-Hill Professional
Subject
:
Technology, Engineering, Agriculture
Binding
:
HARDCOVER
Pages
:
240
Year
:
2005
₹
9127.0
₹
7849.0
Buy Now
Shipping charges are applicable for books below Rs. 101.0
View DetailsEstimated Shipping Time : 5-7 Business Days
View DetailsDescription
Formal verification is a powerful new digital design method. In this cutting-edge tutorial, two of the field's best known authors team up to show designers how to efficiently apply Formal Verification, along with hardware description languages like Verilog and VHDL, to more efficiently solve real-world design problems.
Related Items
-
of
Effective Functional Verification: Principles and Processes
Srivatsa Vasudevan
Starts At
14738.0
15353.0
4% OFF
Design and Verification of Microprocessor Systems for High-Assurance Applications
David S. Hardin
Starts At
18014.0
18765.0
4% OFF
Theory of Automata and Formal Languages: (as Per UPTU Syllabus)
A.M. Natarajan
Starts At
181.0
195.0
7% OFF
Modern Component Families and Circuit Block Design
Nihal Kularatna
Starts At
4019.0
5289.0
24% OFF
Operational Amplifiers and Linear Integrated Circuits
J.M. Fiore
Starts At
361.0
475.0
24% OFF
Operational Amplifiers and Linear Integrated Circuits
Rajiv Kapadia
Starts At
230.0
295.0
22% OFF
Hickman's Analog and RF Circuits
Ian Hickman EUR.ING BSc Hons C. Eng MIEE MIEEE
Starts At
6744.0
7843.0
14% OFF
Operational Amplifier Circuits: Analysis and Design
J C C Nelson
Starts At
1483.0
1705.0
13% OFF
The Art and Science of Analog Circuit Design (Edn Series for Design Engineers)
Jim Williams
Starts At
3366.0
4261.0
21% OFF