Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists
No abstract available.
Related papers
- A Practical Approach to Word Level Model Checking of Industrial Netlists CAV 2008
- Compiler techniques for high performance sequentially consistent java programs PPoPP 2005
- Functional netlists ICFP 2008
- A parallel SML compiler based on algorithmic skeletons JFP 2005
- Petascale computing with accelerators PPoPP 2009
- Global Communication Analysis and Optimization PLDI 1996
- Predictive Analysis of a Wavefront Application using LogGP PPoPP 1999
- RuleBase: Model Checking at IBM CAV 1997