Computation Engineering

Available
0
StarStarStarStarStar
0Reviews
It takes more e?ort to verify that digital system designs are correct than it does to design them, and as systems get more complex the proportion of cost spent on veri?cation is increasing (one estimate is that veri?cation complexity rises as the square of design complexity). Although this veri?cation crisis was predicted decades ago, it is only recently that powerful methods based on mathematical...
Read more
product_type_E-book
pdf
Price
82.50 £
It takes more e?ort to verify that digital system designs are correct than it does to design them, and as systems get more complex the proportion of cost spent on veri?cation is increasing (one estimate is that veri?cation complexity rises as the square of design complexity). Although this veri?cation crisis was predicted decades ago, it is only recently that powerful methods based on mathematical...
Read more
Follow the Author

Options

  • Formats: pdf
  • ISBN: 9780387325200
  • Publication Date: 10 Sept 2006
  • Publisher: Springer US
  • Product language: English
  • Drm Setting: DRM