𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Hardware-software co-design of an iris recognition algorithm

✍ Scribed by López, M.; Daugman, J.; Cantó, E.


Book ID
114443568
Publisher
The Institution of Engineering and Technology
Year
2011
Tongue
English
Weight
461 KB
Volume
5
Category
Article
ISSN
1751-8709

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Formal verification of hardware/software
✍ Tasuku Nishihara; Takeshi Matsumoto; Satoshi Komatsu; Masahiro Fujita 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 332 KB

## Abstract In this paper we present a methodology for formal verification of hardware/software co‐designs which are represented in RTL/program codes. Two methodologies are proposed. One is for property checking of the above‐mentioned co‐designs, and the other is for equivalence checking between de