5 citations · 29 across the 26 of their papers we have counts for
1 paper · 1 filter
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…