✦ LIBER ✦
Reasoning about timing behavior of digital circuits using symbolic event propagation and temporal logic
✍ Scribed by Mondal, A.; Chakrabarti, P.P.
- Book ID
- 117907579
- Publisher
- IEEE
- Year
- 2006
- Tongue
- English
- Weight
- 567 KB
- Volume
- 25
- Category
- Article
- ISSN
- 0278-0070
No coin nor oath required. For personal study only.