Formal Verification

    By

    Formal Verification: An Essential Toolkit for Modern VLSI Design presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification FV enables a designer to directly analyze and mathematically explore the quality or other aspects of a Register Transfer Level RTL design without using simulations. This can reduce time spent validating designs and more quickly reach a final design for manufacturing. Building on a basic knowledge of SystemVerilog, this book demystifies FV and presents the practical applications that are bringing it into mainstream design and validation processes at Intel and other companies. After reading this book, readers will be prepared to introduce FV in their organization and effectively deploy FV techniques to increase design and validation productivity.

    View more

    Number of Pages: 408
    Format(s): Paperback - ISBN: 9780128007273
    Publication Date:
    Listed in: Circuits & components, Software testing & verification
    Publisher: Morgan Kaufmann Publishers In

    Books by Erik Seligman

    Paperback

    RRP: £73.99

    Sale Price: £61.65

    Save: £12.34 per copy!

    Currently out of stock

    Side-Banner-Right-188px-fd.jpg
    Books TV & Movies

    You might also like...

    Latest from the blog

    Fantastic new recipe book from Sabrina Ghayour 'Sirocco'

    Sabrina Ghayour's long awaited second recipe book Sirocco is out this month and is a great follow up to Persianna. Read article

    Ten Great Bedtime Reads from The Great British Bookshop and Aspace

    We have teamed up with Aspace (www.aspace.co.uk) who create beautiful room for Children to bring you 10 great bedtime reads for your little ones. Read article

    Latest from Twitter

    • @TheGBBookshop - 3 years ago

      Lottery funding for dementia reading project £2m pledged for Reading Agency scheme to pair readers with dementia sufferers

      @TheGBBookshop - 3 years ago

      Harry Potter and the Cursed Child has held on to the number one spot for a sixth week #HarryPotter #CursedChild @littlebrown @pottermore

    • @TheGBBookshop - 3 years ago

      @thebookseller @MartinaCole @Jeffrey_Archer @Foyles

      @TheGBBookshop - 3 years ago

      Frith wins inaugural Klaus Flugge Prize for illustration t.co/U9P08h4XMG

    • @TheGBBookshop - 3 years ago

      RT @Gue_de_Bost: #Dordogneholidaycottage available Sept tweet to book for more info

      @TheGBBookshop - 3 years ago

      The editor is just back from france @HomeAwayUK! t.co/IWutTER1x7