✦ LIBER ✦

High-Level Abstractions and Modular Debugging for FPGA Design Validation

✍ Scribed by Iskander, Yousef; Patterson, Cameron; Craven, Stephen

Book ID: 124080567
Publisher: Association for Computing Machinery
Year: 2014
Tongue: English
Weight: 585 KB
Volume: 7
Category: Article
ISSN: 1936-7406
DOI: 10.1145/2567662

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Defining and validating measures for obj

Defining and validating measures for object-based high-level design

✍ Briand, L.C.; Morasca, S.; Basili, V.R. 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 498 KB

Design and implementation of a high leve

Design and implementation of a high level programming environment for FPGA-based image processing

✍ Crookes, D.; Benkrid, K.; Bouridane, A.; Alotaibi, K.; Benkrid, A. 📂 Article 📅 2000 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 901 KB

[IEEE 2007 IEEE International High Level

[IEEE 2007 IEEE International High Level Design Validation and Test Workshop - Irvine, CA, USA (2007.11.7-2007.11.9)] 2007 IEEE International High Level Design Validation and Test Workshop - Model-driven test generation for system level validation

✍ Mathaikutty, Deepak A.; Sumit Ahuja, ; Ajit Dingankar, ; Sandeep Shukla, 📂 Article 📅 2007 🏛 IEEE ⚖ 259 KB

[IEEE 2008 IEEE International High Level

[IEEE 2008 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Incline Village, NV, USA (2008.11.19-2008.11.21)] 2008 IEEE International High Level Design Validation and Test Workshop - On dynamic switching of navigation for semi-formal design validation

✍ Parikh, Ankur; Hsiao, Michael S. 📂 Article 📅 2008 🏛 IEEE ⚖ 309 KB

[IEEE 2011 IEEE International High Level

[IEEE 2011 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Napa Valley, CA, USA (2011.11.9-2011.11.11)] 2011 IEEE International High Level Design Validation and Test Workshop - Modular equivalence verification of polynomial datapaths with multiple word-length operands

✍ Alizadeh, Bijan; Fujita, Masahiro 📂 Article 📅 2011 🏛 IEEE ⚖ 553 KB

Abstract state machines: A method for hi

Abstract state machines: A method for high-level system design and analysis

✍ Egon Boerger, Robert Staerk 📂 Library 📅 2003 🏛 Springer 🌐 English ⚖ 3 MB

This book combines the features of a textbook and a handbook Researchers will find here the most comprehensive description of ASMs available today and professionals will use it as a "modeling handbook of the working software engineer. As a textbook it supports self-study or it can form the basis of