Formal Verification of Circuits

Available
0
StarStarStarStarStar
0Reviews
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 descri...
Read more
E-book
pdf
Price
129.50 £
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 descri...
Read more
Follow the Author

Options

  • Formats: pdf
  • ISBN: 9781475731842
  • Publication Date: 9 Mar 2013
  • Publisher: Springer US
  • Product language: English
  • Drm Setting: DRM