5 citations · 29 across the 26 of their papers we have counts for
Showing cs.ARShow all
2 papers · 1 filter
cs.AR2022★ 3 cited
Designing Approximate Arithmetic Circuits with Combined Error Constraints
Milan Češka, Jiří Matyáš, Vojtech Mrazek +1
Approximate circuits trading the power consumption for the quality of results play a key role in the development of energy-aware systems. Designing complex approximate circuits is,…
cs.AR2016★ 3 cited
HADES: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems
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…