GoldMine: Automatic assertion generation using data mining and static analysis
Rigel: an architecture and scalable programming interface for a 1000-core accelerator