![](/img/cover-not-exists.png)
[ACM Press the 2002 IEEE/ACM international conference - San Jose, California (2002.11.10-2002.11.14)] Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design - ICCAD '02 - Specifying and verifying imprecise sequential datapaths by Arithmetic Transforms
Radecka, Katarzyna, Zilic, ZeljkoYear:
2002
Language:
english
DOI:
10.1145/774572.774591
File:
PDF, 253 KB
english, 2002