Safe Robot Navigation Among Moving and Steady Obstacles
Andrey V. Savkin, Alexey S. Matveev, Michael Hoy, Chao Wang
Häftad, 2015
1 128 kr
Abstraction Refinement for Large Scale Model Checking
1 235 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Beskrivning
Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. 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 suite of algorithms presented in this book has demonstrated significant improvement over prior art; some of them have already been adopted by the EDA companies in their commercial/in-house verification tools.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Mer från samma författare
Safe Robot Navigation Among Moving and Steady Obstacles
Chao Wang, Michael Hoy, Alexey S. Matveev, Andrey V. Savkin
E-bok
20151 403 kr
Chinese Currency Exchange Rates Analysis
Jiangze Du, Jying-Nan Wang, Kin Keung Lai, Chao Wang
Häftad, 2020
390 kr
Abstraction Refinement for Large Scale Model Checking
Fabio Somenzi, Gary D. Hachtel, Chao Wang
E-bok
20061 427 kr
Hoppa över listan
Mer från samma serie
Leakage in Nanometer CMOS Technologies
Siva G. Narendra, Anantha P. Chandrakasan
Inbunden, 2005
1 653 kr
Statistical Analysis and Optimization for VLSI: Timing and Power
Ashish Srivastava, Dennis Sylvester, David Blaauw
Inbunden, 2005
1 653 kr
Thermal and Power Management of Integrated Circuits
Arman Vassighi, Manoj Sachdev
Inbunden, 2006
1 104 kr
High-Performance Energy-Efficient Microprocessor Design
Vojin G. Oklobdzija, Ram K. Krishnamurthy
Inbunden, 2006
1 653 kr
Routing Congestion in VLSI Circuits
Prashant Saxena, Rupesh S. Shelar, Sachin Sapatnekar
Inbunden, 2007
1 653 kr
Design for Manufacturability and Statistical Design
Michael Orshansky, Sani Nassif, Duane Boning
Inbunden, 2007
1 653 kr
Ultra-Low Power Wireless Technologies for Sensor Networks
Brian Otis, Jan Rabaey
Inbunden, 2007
1 104 kr
Ultra-Low Voltage Nano-Scale Memories
Kiyoo Itoh, Masashi Horiguchi, Hitoshi Tanaka
Inbunden, 2007
1 653 kr
Sub-threshold Design for Ultra Low-Power Systems
Alice Wang, Benton Highsmith Calhoun, Anantha P. Chandrakasan
Inbunden, 2006
1 653 kr
Hoppa över listan
Du kanske också är intresserad av
Abstraction Refinement for Large Scale Model Checking
Chao Wang, Gary D. Hachtel, Fabio Somenzi
Inbunden, 2006
1 104 kr
Abstraction Refinement for Large Scale Model Checking
Fabio Somenzi, Gary D. Hachtel, Chao Wang
E-bok
20061 427 kr
Logic Minimization Algorithms for VLSI Synthesis
Alberto L. Sangiovanni-Vincentelli, C. McMullen, Gary D. Hachtel, Robert K. Brayton
E-bok
20122 798 kr
Del 2
Logic Minimization Algorithms for VLSI Synthesis
Robert K. Brayton, Gary D. Hachtel, C. McMullen, Alberto L. Sangiovanni-Vincentelli
Inbunden, 1984
2 202 kr