𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Functional Equivalence Verification Tools in High-Level Synthesis Flows

✍ Scribed by Mathur, A.; Fujita, M.; Clarke, E.; Urard, P.

Book ID
119807648
Publisher
IEEE
Year
2009
Tongue
English
Weight
653 KB
Volume
26
Category
Article
ISSN
0740-7475

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Reco
[Lecture Notes in Computer Science] Reconfigurable Computing: Architectures, Tools and Applications Volume 5453 || FPGA Analysis Tool: High-Level Flows for Low-Level Design Analysis in Reconfigurable Computing
✍ Becker, JΓΌrgen; Woods, Roger; Athanas, Peter; Morgan, Fearghal πŸ“‚ Article πŸ“… 2009 πŸ› Springer Berlin Heidelberg 🌐 German βš– 804 KB

This Book Constitutes The Refereed Proceedings Of The 5th International Workshop On Applied Reconfigurable Computing, Arc 2009, Held In Karlsruhe, Germany, In March 2009. The 21 Full Papers And 21 Short Papers Presented Together With The Abstracts Of 3 Keynote Lectures Were Carefully Reviewed And Se