Skip to content

Logic Synthesis and Verification Algorithms
Stock Photo: Cover May Be Different

Logic Synthesis and Verification Algorithms Hardcover - 1996

by Gary D. Hachtel; Fabio Somenzi


From the publisher

Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced level discrete mathematics. It also serves as a basic reference work in design automation for both professionals and students.
Logic Synthesis and Verification Algorithms is about the theoretical underpinnings of VLSI (Very Large Scale Integrated Circuits). It combines and integrates modern developments in logic synthesis and formal verification with the more traditional matter of Switching and Finite Automata Theory. The book also provides background material on Boolean algebra and discrete mathematics.
A unique feature of this text is the large collection of solved problems.
Throughout the text the algorithms covered are the subject of one or more problems based on the use of available synthesis programs.

Details

  • Title Logic Synthesis and Verification Algorithms
  • Author Gary D. Hachtel; Fabio Somenzi
  • Binding Hardcover
  • Edition 1st edition
  • Pages 564
  • Volumes 1
  • Language ENG
  • Publisher Springer, Secaucus, New Jersey, U.S.A.
  • Date 1996-06
  • ISBN 9780792397465 / 0792397460
  • Weight 3.1 lbs (1.41 kg)
  • Dimensions 10.25 x 7.32 x 1.56 in (26.04 x 18.59 x 3.96 cm)
  • Library of Congress Catalog Number 96021769
  • Dewey Decimal Code 621.395
Back to Top

More Copies for Sale

Logic Synthesis and Verification Algorithms
Stock Photo: Cover May Be Different

Logic Synthesis and Verification Algorithms

by Hachtel, Gary D.

  • Used
Condition
UsedVeryGood
ISBN 10 / ISBN 13
9780792397465 / 0792397460
Quantity Available
1
Seller
Lynden, Washington, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$58.34
FREE shipping to USA

Show Details

Description:
UsedVeryGood. Book is in very good condition and may contain minimal markings. May not contain miscellaneous items (toys, dvds, etc). We offer 100% money back guarantee and fast customer support.
Item Price
$58.34
FREE shipping to USA
Logic Synthesis and Verification Algorithms
Stock Photo: Cover May Be Different

Logic Synthesis and Verification Algorithms

by Hachtel, Gary D.; Somenzi, Fabio

  • Used
  • good
  • Hardcover
Condition
Used - Good
Binding
Hardcover
ISBN 10 / ISBN 13
9780792397465 / 0792397460
Quantity Available
1
Seller
Seattle, Washington, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
$58.93
FREE shipping to USA

Show Details

Description:
Springer, 1996. Hardcover. Good. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.Dust jacket quality is not guaranteed.
Item Price
$58.93
FREE shipping to USA
LOGIC SYNTHESIS AND VERIFICATION ALGORITHMS
Stock Photo: Cover May Be Different

LOGIC SYNTHESIS AND VERIFICATION ALGORITHMS

by HACHTEL ,SOMENZI,

  • New
  • Hardcover
  • first
Condition
New
Edition
1st
Binding
Hardcover
ISBN 10 / ISBN 13
9780792397465 / 0792397460
Quantity Available
5
Seller
New Delhi, India
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$63.00
$10.00 shipping to USA

Show Details

Description:
KAP, 1996. 1st. Hardcover. New/New.
Item Price
$63.00
$10.00 shipping to USA
LOGIC SYNTHESIS AND VERIFICATION ALGORITHMS
Stock Photo: Cover May Be Different

LOGIC SYNTHESIS AND VERIFICATION ALGORITHMS

by HACHTEL ,SOMENZI,

  • Used
  • Hardcover
  • first
Condition
UsedLikeNew
Edition
1st
Binding
Hardcover
ISBN 10 / ISBN 13
9780792397465 / 0792397460
Quantity Available
5
Seller
New Delhi, India
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$63.00
$10.00 shipping to USA

Show Details

Description:
KAP, 1996. 1st. Hardcover. UsedLikeNew/UsedLikeNew.
Item Price
$63.00
$10.00 shipping to USA
Logic Synthesis And Verification Algorithms
Stock Photo: Cover May Be Different

Logic Synthesis And Verification Algorithms

by Hachtel ,Somenzi,

  • New
Condition
New
ISBN 10 / ISBN 13
9780792397465 / 0792397460
Quantity Available
1
Seller
New Delhi, India
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$71.30
$5.00 shipping to USA

Show Details

Description:
New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!
Item Price
$71.30
$5.00 shipping to USA
Logic Synthesis and Verification Algorithms
Stock Photo: Cover May Be Different

Logic Synthesis and Verification Algorithms

by Hachtel, Gary D.; Somenzi, Fabio

  • Used
  • good
  • Hardcover
Condition
Used - Good
Binding
Hardcover
ISBN 10 / ISBN 13
9780792397465 / 0792397460
Quantity Available
2
Seller
Franklin Lakes, New Jersey, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$143.42
$3.90 shipping to USA

Show Details

Description:
Springer, 1996-06-30. Hardcover. Good. Textbook, May Have Highlights, Notes and/or Underlining, BOOK ONLYNO ACCESS CODE, NO CD, Ships with Emailed Tracking
Item Price
$143.42
$3.90 shipping to USA
Logic Synthesis and Verification Algorithms
Stock Photo: Cover May Be Different

Logic Synthesis and Verification Algorithms

by Hachtel, Gary D.; Somenzi, Fabio

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9780792397465 / 0792397460
Quantity Available
1
Seller
San Diego, California, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$153.69
$5.45 shipping to USA

Show Details

Description:
Springer, 1996-06-30. Hardcover. New. New. In shrink wrap. Looks like an interesting title!
Item Price
$153.69
$5.45 shipping to USA