Trending Bestseller

Formal Verification of Circuits

Rolf Drechsler

No reviews yet Write a Review
Paperback / softback
02 December 2010
$324.00
In Stock: Ships in 3-5 Days
In Stock: Ships in 7-9 Days
Hurry up! Current stock:
Formal verification has become one of the most important steps in circuit design. Since circuits can contain several million transistors, verification of such large designs becomes more and more difficult. Pure simulation cannot guarantee the correct behavior and exhaustive simulation is often impossible. However, many designs, like ALUs, have very regular structures that can be easily described at a higher level of abstraction. For example, describing (and verifying) an integer multiplier at the bit-level is very difficult, while the verification becomes easy when the outputs are grouped to build a bit-string. Recently, several approaches for formal circuit verification have been proposed that make use of these regularities. These approaches are based on Word-Level Decision Diagrams (WLDDs) which are graph-based representations of functions (similar to BDDs) that allow for the representation of functions with a Boolean range and an integer domain.
Formal Verification of Circuits is devoted to the discussion of recent developments in the field of decision diagram-based formal verification. Firstly, different types of decision diagrams (including WLDDs) are introduced and theoretical properties are discussed that give further insight into the data structure. Secondly, implementation and minimization concepts are presented. Applications to arithmetic circuit verification and verification of designs specified by hardware description languages are described to show how WLDDs work in practice.
Formal Verification of Circuits is intended for CAD developers and researchers as well as designers using modern verification tools. It will help people working with formal verification (in industry or academia) to keep informed about recent developments in this area.

This product hasn't received any reviews yet. Be the first to review this product!

$324.00
In Stock: Ships in 3-5 Days
In Stock: Ships in 7-9 Days
Hurry up! Current stock:

Formal Verification of Circuits

$324.00

Description

Formal verification has become one of the most important steps in circuit design. Since circuits can contain several million transistors, verification of such large designs becomes more and more difficult. Pure simulation cannot guarantee the correct behavior and exhaustive simulation is often impossible. However, many designs, like ALUs, have very regular structures that can be easily described at a higher level of abstraction. For example, describing (and verifying) an integer multiplier at the bit-level is very difficult, while the verification becomes easy when the outputs are grouped to build a bit-string. Recently, several approaches for formal circuit verification have been proposed that make use of these regularities. These approaches are based on Word-Level Decision Diagrams (WLDDs) which are graph-based representations of functions (similar to BDDs) that allow for the representation of functions with a Boolean range and an integer domain.
Formal Verification of Circuits is devoted to the discussion of recent developments in the field of decision diagram-based formal verification. Firstly, different types of decision diagrams (including WLDDs) are introduced and theoretical properties are discussed that give further insight into the data structure. Secondly, implementation and minimization concepts are presented. Applications to arithmetic circuit verification and verification of designs specified by hardware description languages are described to show how WLDDs work in practice.
Formal Verification of Circuits is intended for CAD developers and researchers as well as designers using modern verification tools. It will help people working with formal verification (in industry or academia) to keep informed about recent developments in this area.

Customers Also Viewed

Discover Books for Every Interest at BookLoop

Discover your next great read at BookLoop, Australia's trusted online bookstore offering a vast selection of titles across various genres and interests. Whether you're curious about what's trending or searching for graphic novels that captivate, thrilling crime and mystery fiction, or exhilarating action and adventure stories, our curated collections have something for every reader. Delve into imaginative fantasy worlds or explore the realms of science fiction that challenge the boundaries of reality.

Books on Hobbies, Crafts, Gardening, and More

For those with a green thumb, our comprehensive range of gardening books provides insights and tips for all levels of enthusiasts. If you're aiming to enhance your financial acumen, our selection of finance, business, and management books offers valuable knowledge from industry experts. Craft lovers will appreciate our assortment of handicrafts, decorative arts, and crafts books, perfect for inspiring your next project. Engage your mind with our collection of hobbies, quizzes, and games books, or explore the mystical with our fortune-telling and divination guides.

Transport, Contemporary Fiction, and Picture Books for Kids

Transportation aficionados can immerse themselves in our extensive transportation books, including detailed works on road and motor vehicles. Young readers are not left out, with a delightful array of picture books and early learning concepts designed to educate and entertain. Fans of contemporary narratives will find compelling stories in our contemporary fiction section. Embark on epic journeys with our fantasy and science fiction titles, or gain inspiration from real-life tales in our biographies and true stories collection. Health-conscious readers can explore our health and wholefood cooking books, focusing on specific diets and conditions.

School Books, Teacher Resources, and Academic Textbooks

Textbooks for Primary, Secondary, and Higher Education

BookLoop proudly supports the educational needs of students and schools across Australia. Our textbook collection includes school books and teacher resources for every phase from primary school books, secondary school books, and essential titles for TAFE courses, vocational training, and university study. Each book is selected to align with curriculum outcomes and classroom needs, making it easy for schools and teachers to plan ahead.

Teacher Resources and Classroom Support Materials

From structured lesson planning to engaging student activities, our wide range of school books and teacher resources provides essential tools for educators. You’ll also find dedicated school and preschool teacher materials designed for early years education, classroom support, and intervention. Teachers can access a reliable selection of workbooks, literacy and numeracy programs, assessment tools, and professional development guides all in one place.

Books for Early Learning Centres and Childcare Professionals

Support the earliest stages of education with our curated range of early childhood care and education books. These titles are ideal for early learning centres, preschools, and childcare settings, offering age-appropriate resources that build foundational skills in literacy, numeracy, and emotional development. Families and educators alike trust our resources for quality, clarity, and classroom effectiveness.

Bulk Book Orders for Schools and Educational Institutions

We make bulk school book orders simple and efficient. Schools, libraries, and early learning centres can rely on BookLoop for competitive pricing, fast shipping, and expert support when sourcing large quantities of textbooks and educational materials. Whether you’re restocking for a new term or ordering resources for an entire class, our bulk ordering system ensures convenience and accuracy every step of the way.

Stay Up to Date with Book Trends

Explore our new releases for the most recent additions in romance books, fantasy books, graphic novels, crime and mystery books, science fiction books as well as biographies, cookbooks, self help books, tarot cards, fortunetelling and much more. With titles covering current trends, booktok and bookstagram recommendations, and emerging authors, BookLoop remains your go-to local australian bookstore for buying books online across all book genres.

Explore the Latest and Most Loved Books

Stay updated with the literary world by browsing our trending books, featuring the latest bestsellers and critically acclaimed works. Explore titles from popular brands like Minecraft, Pokemon, Star Wars, Bluey, Lonely Planet, ABIA award winners, Peppa Pig, and our specialised collection of ADHD books. At BookLoop, we are committed to providing a diverse and enriching reading experience for all.