Abstraction Refinement for Large Scale Model Checking: Integrated Circuits and Systems
Autor Chao Wang, Gary D. Hachtel, Fabio Somenzien Limba Engleză Paperback – 6 dec 2014
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 760.69 lei 6-8 săpt. | |
Springer Us – 6 dec 2014 | 760.69 lei 6-8 săpt. | |
Hardback (1) | 629.19 lei 6-8 săpt. | |
Springer Us – 20 iul 2006 | 629.19 lei 6-8 săpt. |
Din seria Integrated Circuits and Systems
- 15% Preț: 644.92 lei
- 18% Preț: 1360.50 lei
- 15% Preț: 628.74 lei
- 18% Preț: 1188.85 lei
- 18% Preț: 935.12 lei
- 15% Preț: 637.71 lei
- 20% Preț: 968.12 lei
- 18% Preț: 932.79 lei
- 18% Preț: 931.26 lei
- 15% Preț: 682.42 lei
- 18% Preț: 930.96 lei
- 18% Preț: 934.50 lei
- 24% Preț: 805.38 lei
- 20% Preț: 977.17 lei
- 15% Preț: 621.18 lei
- 18% Preț: 930.00 lei
- 20% Preț: 630.62 lei
- 18% Preț: 1202.46 lei
- 24% Preț: 803.80 lei
- 15% Preț: 636.73 lei
- 18% Preț: 765.81 lei
- 18% Preț: 981.04 lei
- 15% Preț: 622.48 lei
- 15% Preț: 681.14 lei
- 18% Preț: 921.98 lei
- 15% Preț: 628.41 lei
- 18% Preț: 867.69 lei
- 18% Preț: 927.68 lei
- 18% Preț: 925.23 lei
- 15% Preț: 621.36 lei
- 18% Preț: 936.93 lei
- 18% Preț: 925.53 lei
- 18% Preț: 921.98 lei
- 18% Preț: 923.66 lei
- 18% Preț: 933.88 lei
- 15% Preț: 622.48 lei
- 23% Preț: 570.64 lei
- 18% Preț: 933.59 lei
Preț: 760.69 lei
Preț vechi: 927.68 lei
-18% Nou
Puncte Express: 1141
Preț estimativ în valută:
145.63€ • 151.37$ • 120.74£
145.63€ • 151.37$ • 120.74£
Carte tipărită la comandă
Livrare economică 05-19 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9781489993953
ISBN-10: 1489993959
Pagini: 196
Ilustrații: XIV, 179 p.
Dimensiuni: 155 x 235 x 10 mm
Greutate: 0.28 kg
Ediția:2006
Editura: Springer Us
Colecția Springer
Seria Integrated Circuits and Systems
Locul publicării:New York, NY, United States
ISBN-10: 1489993959
Pagini: 196
Ilustrații: XIV, 179 p.
Dimensiuni: 155 x 235 x 10 mm
Greutate: 0.28 kg
Ediția:2006
Editura: Springer Us
Colecția Springer
Seria Integrated Circuits and Systems
Locul publicării:New York, NY, United States
Public țintă
ResearchCuprins
Symbolic Model Checking.- Abstraction.- Refinement.- Compositional SCC Analysis.- Disjunctive Decomposition.- Far Side Image Computation.- Refining SAT Decision Ordering.- Conclusions.
Textul de pe ultima copertă
Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital systems. Considering both the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs. This book describes recent research developments in automatic abstraction refinement techniques. The authors address the main challenge in abstraction refinement, i.e., the ability to efficiently reach or come close to the optimum abstraction (the smallest abstract model that proves or refutes the given property). A suite of fully automatic abstraction techniques are proposed to improve the overall computation efficiency. The suite of algorithms presented in this book has demonstrated significant improvement over the prior art; some of them have already been adopted by the EDA companies in their commercial/in-house verification tools.
Abstraction Refinement for Large Scale Model Checking will be of interest to EDA researchers and tool developers, verification engineers, as well as people who are in the general areas of computer science and want to know the state-of-the-art of formal verification.
Abstraction Refinement for Large Scale Model Checking will be of interest to EDA researchers and tool developers, verification engineers, as well as people who are in the general areas of computer science and want to know the state-of-the-art of formal verification.
Caracteristici
Proposes fully automatic techniques for improving the performance of abstraction refinement The algorithms in this book demonstrate significant improvement over prior techniques Includes supplementary material: sn.pub/extras