Mitchell Aaron Thornton's Books

Digital System Verification

A Combined Formal Methods and Simulation Framework

By: Lun Li,Mitchell A. Thornton

Write a review Read reviews Take a Quiz Solve Book Puzzle

Digital System Verification

A Combined Formal Methods and Simulation Framework

By: Lun Li,Mitchell A. Thornton

This book focuses on an Integrated Design Validation (IDV) system that provides a framework for design validation and takes advantage of current technology in the areas of simulation and formal verification resulting in a practical validation engine with reasonable runtime. After surveying the basic principles of formal verification and simulation, this book describes the IDV approach to integrated circuit functional validation. Table of Contents: Introduction / Formal Methods Background / Simulation Approaches / Integrated Design Validation System / Conclusion and Summary

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

Publisher

Morgan & Claypool Publishers

Published Date

ISBN 10

160845178X

ISBN 13

9781608451784

Multiple Valued Logic

Concepts and Representations

By: D. Michael Miller,Mitchell Aaron Thornton

Write a review Read reviews Take a Quiz Solve Book Puzzle

Multiple Valued Logic

Concepts and Representations

By: D. Michael Miller,Mitchell Aaron Thornton

Multiple Valued Logic: Concepts and Representations begins with a survey of the use ofmultiple-valued logic in several modern application areas including electronic design automation algorithms and circuit design. The mathematical basis and concepts of various algebras and systems of multiple valued logic are provided including comparisons among various systems and examples of their application. The book also provides an examination of alternative representations of multiple-valued logic suitable for implementation as data structures in automated computer applications. Decision diagram structures for multiple valued applications are described in detail with particular emphasis on the recently developed quantum multiple valued decision diagram.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

149

Publisher

Morgan & Claypool Publishers

Published Date

ISBN 10

1598291904

ISBN 13

9781598291902

Spectral Techniques in VLSI CAD

By: Mitchell Aaron Thornton,Rolf Drechsler,D. Michael Miller

Write a review Read reviews Take a Quiz Solve Book Puzzle

Spectral Techniques in VLSI CAD

By: Mitchell Aaron Thornton,Rolf Drechsler,D. Michael Miller

Spectral Techniques in VLSI CAD have become a subject of renewed interest in the design automation community due to the emergence of new and efficient methods for the computation of discrete function spectra. In the past, spectral computations for digital logic were too complex for practical implementation. The use of decision diagrams for spectral computations has greatly reduced this obstacle allowing for the development of new and useful spectral techniques for VLSI synthesis and verification. Several new algorithms for the computation of the Walsh, Reed-Muller, arithmetic and Haar spectra are described. The relation of these computational methods to traditional ones is also provided. Spectral Techniques in VLSI CAD provides a unified formalism of the representation of bit-level and word-level discrete functions in the spectral domain and as decision diagrams. An alternative and unifying interpretation of decision diagram representations is presented since it is shown that many of the different commonly used varieties of decision diagrams are merely graphical representations of various discrete function spectra. Viewing various decision diagrams as being described by specific sets of transformation functions not only illustrates the relationship between graphical and spectral representations of discrete functions, but also gives insight into how various decision diagram types are related. Spectral Techniques in VLSI CAD describes several new applications of spectral techniques in discrete function manipulation including decision diagram minimization, logic function synthesis, technology mapping and equivalence checking. The use of linear transformations in decision diagram size reduction is described and the relationship to the operation known as spectral translation is described. Several methods for synthesizing digital logic circuits based on a subset of spectral coefficients are described. An equivalence checking approach for functional verification is described based upon the use of matching pairs of Haar spectral coefficients.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

259

Publisher

Springer Science & Business Media

Published Date

ISBN 10

1461514258

ISBN 13

9781461514251

Introduction to Logic Synthesis Using Verilog HDL

By: Robert Bryan Reese,Mitchell Aaron Thornton

Write a review Read reviews Take a Quiz Solve Book Puzzle

Introduction to Logic Synthesis Using Verilog HDL

By: Robert Bryan Reese,Mitchell Aaron Thornton

Introduction to Logic Synthesis Using Verilog HDL explains how to write accurate Verilog descriptions of digital systems that can be synthesized into digital system netlists with desirable characteristics. The book contains numerous Verilog examples that begin with simple combinational networks and progress to synchronous sequential logic systems. Common pitfalls in the development of synthesizable Verilog HDL are also discussed along with methods for avoiding them. The target audience is anyone with a basic understanding of digital logic principles who wishes to learn how to model digital systems in the Verilog HDL in a manner that also allows for automatic synthesis. A wide range of readers, from hobbyists and undergraduate students to seasoned professionals, will find this a compelling and approachable work. The book provides concise coverage of the material and includes many examples, enabling readers to quickly generate high-quality synthesizable Verilog models.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

Publisher

Morgan & Claypool Publishers

Published Date

ISBN 10

1598291068

ISBN 13

9781598291063

Spectral Techniques in VLSI CAD

By: Mitchell Aaron Thornton,Rolf Drechsler,D. Michael Miller

Write a review Read reviews Take a Quiz Solve Book Puzzle

Spectral Techniques in VLSI CAD

By: Mitchell Aaron Thornton,Rolf Drechsler,D. Michael Miller

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

259

Publisher

Springer Science & Business Media

Published Date

ISBN 10

1461514258

ISBN 13

9781461514251

Digital System Verification

A Combined Formal Methods and Simulation Framework

By: Lun Li,Mitchell A. Thornton

Write a review Read reviews Take a Quiz Solve Book Puzzle

Digital System Verification

A Combined Formal Methods and Simulation Framework

By: Lun Li,Mitchell A. Thornton

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

Publisher

Morgan & Claypool Publishers

Published Date

ISBN 10

160845178X

ISBN 13

9781608451784

Multiple Valued Logic

Concepts and Representations

By: D. Michael Miller,Mitchell Aaron Thornton

Write a review Read reviews Take a Quiz Solve Book Puzzle

Multiple Valued Logic

Concepts and Representations

By: D. Michael Miller,Mitchell Aaron Thornton

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

149

Publisher

Morgan & Claypool Publishers

Published Date

ISBN 10

1598291904

ISBN 13

9781598291902

Book's by Mitchell Aaron Thornton

Digital System Verification

Digital System Verification

Multiple Valued Logic

Multiple Valued Logic

Spectral Techniques in VLSI CAD

Spectral Techniques in VLSI CAD

Introduction to Logic Synthesis Using Verilog HDL

Introduction to Logic Synthesis Using Verilog HDL

Spectral Techniques in VLSI CAD

Spectral Techniques in VLSI CAD

Digital System Verification

Digital System Verification

Multiple Valued Logic

Multiple Valued Logic

Username

Password

Username

Password

Password again

Birthday

Email