3 citations · 3 across the 1 of their papers we have counts for
1 paper
Lukáš Charvát, Aleš Smrčka, Tomáš Vojnar
HADES is a fully automated verification tool for pipeline-based microprocessors that aims at flaws caused by improperly handled data hazards. It focuses on single-pipeline micropro…