| book details |

Verification Techniques for System-Level Design

By (author) Masahiro Fujita, By (author) Indradeep Ghosh, By (author) Mukul Prasad

| on special |

normal price: R 3 314.95

Price: R 2 982.95

| add to trolley |

| book description |

This book will explain how to verify SoC (Systems on Chip) logic designs using â€œformalÂ” and â€œsemiformalÂ” verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended. Simulation has been used for checking the correctness of SoC designs (as in â€œfunctionalÂ” verification), but many subtle design errors cannot be caught by simulation. Recently, formal verification, giving mathematical proof of the correctness of designs, has been gaining popularity.For higher design productivity, it is essential to debug designs as early as possible, which this book facilitates. This book covers all aspects of high-level formal and semiformal verification techniques for system level designs.

| product details |

| other options |

Normally shipped | Usually dispatched in 3 to 4 weeks as supplier is out of stock
Readership Age |

Normal Price | R 4 024.95
Price | R 3 622.95 | on special |

| add to trolley |

| back |

| your trolley |

To view the items in your trolley please sign in.

| sign in |

| specials |

The Memory Collectors: A Novel

Dete Meserve
Paperback / softback
320 pages

Enquiries only

| more |

| enquire |

The Coming Wave: AI, Power and Our Future

Mustafa Suleyman
Paperback / softback
352 pages
was: R 295.95
now: R 265.95
Stock is usually dispatched in 6-12 days from date of order

| more |

| add to trolley |

The Colonialist: The Vision of Cecil Rhodes

William Kelleher Storey
Paperback / softback
528 pages
was: R 425.95
now: R 382.95
Usually dispatched in 6-12 days

This first comprehensive biography of Cecil Rhodes in a generation illuminates Rhodesâ€™s vision for the expansion of imperialism in southern Africa, connecting politics and industry to internal development, and examines how this fueled a lasting, white-dominated colonial society.

| more |

| add to trolley |

Survive the AI Apocalypse: A guide for solutionists

Bronwyn Williams
Paperback / softback
232 pages
was: R 340.95
now: R 306.95
Forthcoming

Look around you is anything real or normal any more? News, images and videos created by AI are everywhere.

| more |

| add to trolley |