![](/img/cover-not-exists.png)
[ACM Press the 53rd Annual Design Automation Conference - Austin, Texas (2016.06.05-2016.06.09)] Proceedings of the 53rd Annual Design Automation Conference on - DAC '16 - Precise error determination of approximated components in sequential circuits with model checking
Chandrasekharan, Arun, Soeken, Mathias, Große, Daniel, Drechsler, RolfYear:
2016
Language:
english
DOI:
10.1145/2897937.2898069
File:
PDF, 330 KB
english, 2016