| Floating point and complex arithmetic coprocessors and their verification |
|
|
| Authors |
| | Nikolina N.V. |
| | Zubkovskiy P.S. |
| | Chibisov P.A. |
| Date of publication |
| | 2010 |
|
| Abstract |
| | The article presents a description of embedded arithmetic coprocessors and approaches to their verification. |
| Keywords |
| | coprocessor, verification |
| Library reference |
| | Nikolina N.V., Zubkovskiy P.S., Chibisov P.A. Floating point and complex arithmetic coprocessors and their verification // Problems of Perspective Micro- and Nanoelectronic Systems Development - 2010. Proceedings / edited by A. Stempkovsky, Moscow, IPPM RAS, 2010. P. 360-363. |
| URL of paper |
| | http://www.mes-conference.ru/data/year2010/papers/m10-149-21491.pdf |
