𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Formal Approach for Debugging Arithmetic Circuits

✍ Scribed by Sarbishei, O.; Tabandeh, M.; Alizadeh, B.; Fujita, M.

Book ID
117908211
Publisher
IEEE
Year
2009
Tongue
English
Weight
965 KB
Volume
28
Category
Article
ISSN
0278-0070

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Towards a Design Flow for Reversible Log
Towards a Design Flow for Reversible Logic || Formal Verification and Debugging
✍ Wille, Robert; Drechsler, Rolf πŸ“‚ Article πŸ“… 2010 πŸ› Springer Netherlands 🌐 Dutch βš– 541 KB

The development of computing machines found great success in the last decades. But the ongoing miniaturization of integrated circuits will reach its limits in the near future. Shrinking transistor sizes and power dissipation are the major barriers in the development of smaller and more powerful circ