✦ LIBER ✦
Formal semantics and proof techniques for optimizing VHDL models: By Kothanda Umamageswaran, Sheetanshu L. Pandey and Philip A. Wilsey. Kluwer Academic Publishers, Boston, MA. (1999). 158 pages. $105.00, NLG 240.00, GBP 72.00
- Publisher
- Elsevier Science
- Year
- 1999
- Tongue
- English
- Weight
- 86 KB
- Volume
- 38
- Category
- Article
- ISSN
- 0898-1221
No coin nor oath required. For personal study only.