✦ LIBER ✦
A novel formal verification approach for RTL hardware IP cores
✍ Scribed by Ridha Djemal; Mohamed Ayoub Dhouib; Samuel Dellacherie; Rached Tourki
- Book ID
- 113557931
- Publisher
- Elsevier Science
- Year
- 2005
- Tongue
- English
- Weight
- 929 KB
- Volume
- 27
- Category
- Article
- ISSN
- 0920-5489
No coin nor oath required. For personal study only.