𝔖 Bobbio Scriptorium

✦ LIBER ✦

A Semantics-based Translation Method for Automated Verification of SystemC TLM Designs

✍ Scribed by Gao, Yanyan; Li, Xi

Book ID: 121610738
Publisher: Springer US
Year: 2013
Tongue: English
Weight: 313 KB
Volume: 29
Category: Article
ISSN: 0923-8174
DOI: 10.1007/s10836-013-5406-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2008 6th ACM/IEEE International Co

[IEEE 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE '08) - Anaheim, CA, USA (2008.06.5-2008.06.7)] 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design - A Comparison of Two SystemC/TLM Semantics for Formal Verification

✍ Helmstetter, Claude; Ponsini, Olivier 📂 Article 📅 2008 🏛 IEEE ⚖ 382 KB

Design Automation Methods and Tools for

Design Automation Methods and Tools for Microfluidics-Based Biochips || SYSTEM-LEVEL SIMULATION OF FLOW INDUCED DISPERSION IN LAB-ON-A-CHIP SYSTEMS

✍ Chakrabarty, Krishnendu; Zeng, Jun 📂 Article 📅 2006 🏛 Springer Netherlands ⚖ 1010 KB

[IEEE Comput. Soc Meeting on Design Auto

[IEEE Comput. Soc Meeting on Design Automation and Test in Europe - Paris, France (27-30 March 2000)] Proceedings Design, Automation and Test in Europe Conference and Exhibition 2000 (Cat. No. PR00537) - A VHDL-based methodology for the design and verification of pipeline A/D converters

✍ Peralias, E.; Acosta, A.J.; Rueda, A.; Huertas, J.L. 📂 Article 📅 2000 🏛 IEEE Comput. Soc 🌐 English ⚖ 171 KB

[IEEE 2014 19th Asia and South Pacific D

[IEEE 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC) - Singapore (2014.01.20-2014.01.23)] 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC) - A transaction-oriented UVM-based library for verification of analog behavior

✍ Rath, Alexander W.; Esen, Volkan; Ecker, Wolfgang 📂 Article 📅 2014 🏛 IEEE ⚖ 132 KB

Book Review: An Assay of Biochips [revie

Book Review: An Assay of Biochips [review of two books: Design Automation Methods and Tools for Microfluidics-Based Biochips (Chakrabarty, K. and Zeng, J., eds.) and BioMEMS (Urban, G.A., ed.)

✍ Sapatnekar, S. 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 104 KB

[IEEE 2011 22nd International Conference

[IEEE 2011 22nd International Conference on Database and Expert Systems Applications (DEXA) - Toulouse, France (2011.08.29-2011.09.2)] 2011 22nd International Workshop on Database and Expert Systems Applications - Semi-automated Methods for the Annotation and Design of a Semantic Network Designed for Sentiment Analysis of Social Web Content

✍ Barbagallo, Donato; Bruni, Leonardo; Francalanci, Chiara; Giacomazzi, Paolo; Mer 📂 Article 📅 2011 🏛 IEEE ⚖ 437 KB