Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Imed Bennour |
Petri nets framework for analyzing the communication behavior of TLM modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DTIS ![In: 7th International Conference on Design & Technology of Integrated Systems in Nanoscale Era, Tunis, Tunisia, May 16-18, 2012, pp. 1-4, 2012, IEEE, 978-1-4673-1926-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Nicola Bombieri, Franco Fummi, Graziano Pravadelli |
Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 60(12), pp. 1730-1743, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Sudip K. Seal, Kalyan S. Perumalla |
Reversible Parallel Discrete Event Formulation of a TLM-Based Radio Signal Propagation Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 22(1), pp. 4:1-4:23, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Amina Amri, Ayda Saïdane, Susan Helen Pulko |
Thermal analysis of a three-dimensional breast model with embedded tumour using the transmission line matrix (TLM) method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Medicine ![In: Comput. Biol. Medicine 41(2), pp. 76-86, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Samar Abdi, Yonghyun Hwang, Lochi Yu, Gunar Schirner, Daniel D. Gajski |
Automatic TLM Generation for Early Validation of Multicore Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Des. Test Comput. ![In: IEEE Des. Test Comput. 28(3), pp. 10-19, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Mohamed Bawadekji, Daniel Große, Rolf Drechsler |
TLM protocol compliance checking at the Electronic System Level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDECS ![In: 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2011, Cottbus, Germany, April 13-15, 2011, pp. 435-440, 2011, IEEE Computer Society, 978-1-4244-9755-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Mona Safar, Magdy A. El-Moursy, Ashraf Salem, Mohamed Abdelsalam |
TLM Based Approach for Architecture Exploration of Multicore Systems-on-Chip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTV ![In: 12th International Workshop on Microprocessor Test and Verification, MTV 2011, Austin, TX, USA, December 5-7, 2011, pp. 1-4, 2011, IEEE Computer Society, 978-1-4577-2101-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Miltos D. Grammatikakis, Stratos Politis, Jean-Pierre Schoellkopf, Constantin Papadas |
System-level power estimation methodology using cycle- and bit-accurate TLM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 2011, Grenoble, France, March 14-18, 2011, pp. 1125-1126, 2011, IEEE, 978-1-61284-208-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Carsten Gremzow, Nico Moser, Jan Lucas |
sysCgen - A Tool for SystemC TLM Simulator Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 21-23, 2011, pp. 203-206, 2011, OFFIS-Institut für Informatik. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
20 | Vaibhav Jain, Anshul Kumar, Preeti Ranjan Panda |
A UML based framework for efficient validation of TLM 2 models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: 2011 Forum on Specification & Design Languages, FDL 2011, Oldenburg, Germany, September 13-15, 2011, pp. 1-8, 2011, IEEE, 978-1-4577-0763-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
20 | Fabio Cenni, Serge Scotti, Emmanuel Simeu |
Behavioral modeling of a CMOS video sensor platform using systemc AMS/TLM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: 2011 Forum on Specification & Design Languages, FDL 2011, Oldenburg, Germany, September 13-15, 2011, pp. 1-6, 2011, IEEE, 978-1-4577-0763-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
20 | Marcel Pockrandt, Paula Herber, Sabine Glesner |
Model checking a SystemC/TLM design of the AMBA AHB protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESTIMedia ![In: 9th IEEE Symposium on Embedded Systems for Real-Time Multimedia, ESTIMedia 2011, Taipei, Taiwan, October 13-14, 2011, pp. 66-75, 2011, IEEE Computer Society, 978-1-4577-2123-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Fabio Cenni, Serge Scotti, Emmanuel Simeu |
A SystemC AMS/TLM platform for CMOS video sensors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASIP ![In: 2011 Conference on Design and Architectures for Signal and Image Processing, DASIP 2011, Tampere, Finland, November 2-4, 2011, pp. 164-169, 2011, IEEE, 978-1-4577-0620-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Julien Peeters, Nicolas Ventroux, Tanguy Sassolas, Lionel Lacassagne |
A systemc TLM framework for distributed simulation of complex systems with unpredictable communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASIP ![In: 2011 Conference on Design and Architectures for Signal and Image Processing, DASIP 2011, Tampere, Finland, November 2-4, 2011, pp. 12-19, 2011, IEEE, 978-1-4577-0620-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Mikhail M. Chupilko, Alexander Kamkin |
A TLM-based approach to functional verification of hardware components at different abstraction levels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATW ![In: 12th Latin American Test Workshop, LATW 2011, Beach of Porto de Galinhas, Brazil, March 27-30, 2011, pp. 1-6, 2011, IEEE, 978-1-4577-1488-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Valerio Guarnieri, Nicola Bombieri, Graziano Pravadelli, Franco Fummi, Hanno Hantson, Jaan Raik, Maksim Jenihhin, Raimund Ubar |
Mutation analysis for SystemC designs at TLM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATW ![In: 12th Latin American Test Workshop, LATW 2011, Beach of Porto de Galinhas, Brazil, March 27-30, 2011, pp. 1-6, 2011, IEEE, 978-1-4577-1488-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Jun Ye, QingPing Tan, Tun Li |
Separation of communication and computation in SystemC/TLM modeling: A Feature-Oriented approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: Proceedings of the 12th International Symposium on Quality Electronic Design, ISQED 2011, Santa Clara, California, USA, 14-16 March 2011, pp. 481-485, 2011, IEEE, 978-1-61284-914-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Vaibhav Jain, Anshul Kumar, Preeti Ranjan Panda |
A SysML Profile for Development and Early Validation of TLM 2.0 Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMFA ![In: Modelling Foundations and Applications - 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings, pp. 299-311, 2011, Springer, 978-3-642-21469-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Nicola Bombieri, Franco Fummi, Davide Quaglia |
System/network design-space exploration based on TLM for networked embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 9(4), pp. 37:1-37:32, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Kyu-Chil Park, Jong-Rak Yoon |
An Approach for Implementation of Underwater Acoustic Communication Channel using 2-D TLM Modeling and Cross-Correlation Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inform. and Commun. Convergence Engineering ![In: J. Inform. and Commun. Convergence Engineering 8(2), pp. 163-167, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Daniel Große, Hoang Minh Le 0001, Rolf Drechsler |
Proving transaction and system-level properties of untimed SystemC TLM designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010, pp. 113-122, 2010, IEEE Computer Society, 978-1-4244-7885-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Laurence Pierre, Luca Ferro |
Enhancing the assertion-based verification of TLM designs with reentrancy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010, pp. 103-112, 2010, IEEE Computer Society, 978-1-4244-7885-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Hoang Minh Le 0001, Daniel Große, Rolf Drechsler |
Automatic Fault Localization for SystemC TLM Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTV ![In: 11th International Workshop on Microprocessor Test and Verification, MTV 2010, Austin, TX, USA, December 13-15, 2010, pp. 35-40, 2010, IEEE Computer Society, 978-0-7695-4354-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Homa Alemzadeh, Marco Cimei, Paolo Prinetto, Zainalabedin Navabi |
Facilitating testability of TLM FIFO: SystemC implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWDTS ![In: 2010 East-West Design & Test Symposium, EWDTS 2010, St. Petersburg, Russia, September 17-20, 2010, pp. 428-431, 2010, IEEE Computer Society, 978-1-4244-9555-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Amirali Ghofrani, Fatemeh Javaheri, Zainalabedin Navabi |
Assertion based verification in TLM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWDTS ![In: 2010 East-West Design & Test Symposium, EWDTS 2010, St. Petersburg, Russia, September 17-20, 2010, pp. 509-513, 2010, IEEE Computer Society, 978-1-4244-9555-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Nadereh Hatami, Marco Indaco, Paolo Prinetto, Gabriele Tiotto |
Communication interface synthesis from TLM 2.0 to RTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWDTS ![In: 2010 East-West Design & Test Symposium, EWDTS 2010, St. Petersburg, Russia, September 17-20, 2010, pp. 222-226, 2010, IEEE Computer Society, 978-1-4244-9555-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Wolfgang Ecker, Volkan Esen, Robert Schwencker, Thomas Steininger, Michael Velten |
TLM+ modeling of embedded HW/SW systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 2010, Dresden, Germany, March 8-12, 2010, pp. 75-80, 2010, IEEE Computer Society, 978-1-4244-7054-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Stephan Schulz 0004, Jörg Becker 0003, Thomas Uhle, Karsten Einwich, Sören Sonntag |
Transmitting TLM transactions over analogue wire models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 2010, Dresden, Germany, March 8-12, 2010, pp. 1608-1613, 2010, IEEE Computer Society, 978-1-4244-7054-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Aline Mello 0001, Isaac Maia, Alain Greiner, François Pêcheux |
Parallel simulation of systemC TLM 2.0 compliant MPSoC on SMP workstations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 2010, Dresden, Germany, March 8-12, 2010, pp. 606-609, 2010, IEEE Computer Society, 978-1-4244-7054-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Meng-Huan Wu, Wen-Chuan Lee, Chen-Yu Chuang, Ren-Song Tsay |
Automatic generation of software TLM in multiple abstraction layers for efficient HW/SW co-simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 2010, Dresden, Germany, March 8-12, 2010, pp. 1177-1182, 2010, IEEE Computer Society, 978-1-4244-7054-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Joseph Wenninger, Markus Damm, Javier Moreno 0003, Jan Haase 0001, Christoph Grimm 0001 |
Multilevel Sensor Node Simulation within a TLM-like Network Simulation Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCS Workshops ![In: ARCS '10 - 23th International Conference on Architecture of Computing Systens 2010, Workshop Proceedings, February 22-23, 2010, Hannover, Germany, pp. 211-216, 2010, VDE Verlag, 978-3-8007-3222-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
20 | Samar Abdi |
TLM automation for multi-core design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 15th Asia South Pacific Design Automation Conference, ASP-DAC 2010, Taipei, Taiwan, January 18-21, 2010, pp. 717-724, 2010, IEEE, 978-1-60558-837-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Kai-Li Lin, Chen Kang Lo, Ren-Song Tsay |
Source-level timing annotation for fast and accurate TLM computation model generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 15th Asia South Pacific Design Automation Conference, ASP-DAC 2010, Taipei, Taiwan, January 18-21, 2010, pp. 235-240, 2010, IEEE, 978-1-60558-837-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Rainer Findenig, Thomas Leitner, Michael Velten, Wolfgang Ecker |
Fast and accurate UML State Chart modeling using TLM+ control flow abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLDVT ![In: IEEE International High Level Design Validation and Test Workshop, HLDVT 2010, Anaheim, CA, USA, 10-12 June 2010, pp. 97-102, 2010, IEEE Computer Society, 978-1-4244-7805-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Nicola Bombieri, Franco Fummi, Valerio Guarnieri |
Automatic synthesis of OSCI TLM-2.0 models into RTL bus-based IPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLDVT ![In: IEEE International High Level Design Validation and Test Workshop, HLDVT 2010, Anaheim, CA, USA, 10-12 June 2010, pp. 105-112, 2010, IEEE Computer Society, 978-1-4244-7805-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Hoang Minh Le 0001, Daniel Große, Rolf Drechsler |
Towards analyzing functional coverage in SystemC TLM property checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLDVT ![In: IEEE International High Level Design Validation and Test Workshop, HLDVT 2010, Anaheim, CA, USA, 10-12 June 2010, pp. 67-74, 2010, IEEE Computer Society, 978-1-4244-7805-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Samar Abdi, Yonghyun Hwang, Lochi Yu, Hansu Cho, Ines Viskic, Daniel D. Gajski |
Embedded system environment: A framework for TLM-based design and prototyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Symposium on Rapid System Prototyping ![In: Proceedings of the 21st IEEE International Symposium on Rapid System Prototyping, RSP 2010, Fairfax, VA, USA, 8-11 June, 2010, pp. 1-7, 2010, IEEE, 978-1-4244-7073-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Aisha Fouad Bushager, Mark Zwolinski |
Modelling Smart Card Security Protocols in SystemC TLM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUC ![In: IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing, EUC 2010, Hong Kong, China, 11-13 December 2010, pp. 637-643, 2010, IEEE Computer Society, 978-0-7695-4322-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Marius Monton |
Checkpointing for virtual platforms and systemC-TLM-2.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
20 | Donard de Cogan, Xiang Gui, Miroslawa Rak |
Some Observations on the TLM Numerical Solution of the Laplace Equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Math. Model. Algorithms ![In: J. Math. Model. Algorithms 8(4), pp. 363-385, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Hubert Garavel, Claude Helmstetter, Olivier Ponsini, Wendelin Serwe |
Verification of an industrial SystemC/TLM model using LOTOS and CADP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), July 13-15, 2009, Cambridge, Massachusetts, USA, pp. 46-55, 2009, IEEE, 978-1-4244-4806-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Daniel Große, Hoang Minh Le 0001, Rolf Drechsler |
Induction-Based Formal Verification of SystemC TLM Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTV ![In: 10th International Workshop on Microprocessor Test and Verification, MTV 2009, Austin, Texas, USA, 7-9 December 2009, pp. 101-106, 2009, IEEE Computer Society, 978-0-7695-4000-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Nicola Bombieri, Franco Fummi, Graziano Pravadelli |
On the Mutation Analysis of SystemC TLM-2.0 Standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTV ![In: 10th International Workshop on Microprocessor Test and Verification, MTV 2009, Austin, Texas, USA, 7-9 December 2009, pp. 32-37, 2009, IEEE Computer Society, 978-0-7695-4000-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Mark Hampton, Florian Letombe |
Functional qualification of TLM verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 2009, Nice, France, April 20-24, 2009, pp. 190-195, 2009, IEEE, 978-1-4244-3781-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | H. W. M. van Moll, Henk Corporaal, Víctor Reyes, Marleen Boonen |
Fast and accurate protocol specific bus modeling using TLM 2.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 2009, Nice, France, April 20-24, 2009, pp. 316-319, 2009, IEEE, 978-1-4244-3781-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Antonio da Silva 0001, Sebastián Sánchez 0001 |
Transactions Sequence Tracking by means of Dynamic Binary Instrumentation of TLM Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 12th Euromicro Conference on Digital System Design, Architectures, Methods and Tools, DSD 2009, 27-29 August 2009, Patras, Greece, pp. 723-728, 2009, IEEE Computer Society, 978-0-7695-3782-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Ines Viskic, Rainer Dömer |
A Configurable TLM of Wireless Sensor Networks for Fast Exploration of System Communication Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IESS ![In: Analysis, Architectures and Modelling of Embedded Systems, Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings, pp. 44-56, 2009, Springer, 978-3-642-04283-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Luca Ferro, Laurence Pierre |
ISIS: Runtime verification of TLM platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2009, September 22-24, 2009, Sophia Antipolis, France, Proceedings, pp. 1-6, 2009, IEEE, 978-2-9530504-1-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
20 | Stefano Di Carlo, Nadereh Hatami, Paolo Prinetto, Alessandro Savino |
System Level Testing via TLM 2.0 Debug Transport Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFT ![In: 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, DFT 2009, Chicago, Illinois, USA, October 7-9, 2009, pp. 286-294, 2009, IEEE Computer Society, 978-0-7695-3839-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | X. Wang, Mark Sumner, Dave W. P. Thomas |
Application of TLM and Cassie-Mayr Arc model on Transformer Aging and Incipient Faults Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Lett. ![In: Eng. Lett. 16(1), pp. 76-82, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
20 | Mohammad Reza Kakoee, Mohammad Hossein Neishaburi, Siamak Mohammadi |
Graph based test case generation for TLM functional verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 32(5-6), pp. 288-295, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | S. Mimouni, Abdelkader Saïdane, A. Feradji |
Transmission-line-matrix (TLM) modeling of self-heating in AlGaN/GaN transistor structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. J. ![In: Microelectron. J. 39(10), pp. 1167-1172, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Nicola Bombieri, Franco Fummi, Graziano Pravadelli |
RTL-TLM equivalence checking based on simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWDTS ![In: 2008 East-West Design & Test Symposium, EWDTS 2008, Lviv, Ukraine, October 9-12, 2008, pp. 214-217, 2008, IEEE Computer Society, 978-1-4244-3402-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Jeongwoo Park, Bongchun Lee, Kyu-sam Lim, Jeong Hun Kim, Suki Kim, Kwang-Hyun Baek |
Co-simulation of SystemC TLM with RTL HDL for surveillance camera system verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECS ![In: 15th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2008, St. Julien's, Malta, August 31 2008-September 3, 2008, pp. 474-477, 2008, IEEE, 978-1-4244-2181-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Henrik Svensson, Thomas Lenart, Viktor Öwall |
Modelling and exploration of a reconfigurable array using systemC TLM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 22nd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2008, Miami, Florida USA, April 14-18, 2008, pp. 1-8, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Mohamed M. Sabry, M. Watheq El-Kharashi, Hassan Shehata Bedor, Ashraf Salem |
TLM-Based Verification of a Combined Switching Networks-on-Chip Router. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2008, September 23-25, 2008, Stuttgart, Germany, Proceedings, pp. 255-256, 2008, IEEE, 978-1-4244-2265-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Markus Damm, Christoph Grimm 0001, Jan Haase 0001, Andreas Herrholz, Wolfgang Nebel |
Connecting SystemC-AMS Models with OSCI TLM 2.0 Models using Temporal Decoupling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2008, September 23-25, 2008, Stuttgart, Germany, Proceedings, pp. 25-30, 2008, IEEE, 978-1-4244-2265-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Wei Han 0001, Ying Yi, Mark Muir, Ioannis Nousias, Tughrul Arslan, Ahmet Teyfik Erdogan |
MRPSIM: A TLM based simulation tool for MPSOCS targeting dynamically reconfigurable processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoCC ![In: 21st Annual IEEE International SoC Conference, SoCC 2008, September 17-20, 2008, Radisson Hotel, Newport Beach, CA, USA, Proceedings, pp. 41-44, 2008, IEEE, 978-1-4244-2596-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Sami Boukhechem, El-Bay Bourennane |
TLM Platform Based on SystemC for STARSoC Design Space Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AHS ![In: NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2008, Noordwijk, The Netherlands, June 22-25, 2008, pp. 354-361, 2008, IEEE Computer Society, 978-0-7695-3166-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Homa Alemzadeh, Stefano Di Carlo, Fatemeh Refan, Paolo Prinetto, Zainalabedin Navabi |
"Plug & Test" at System Level via Testable TLM Primitives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: 2008 IEEE International Test Conference, ITC 2008, Santa Clara, California, USA, October 26-31, 2008, pp. 1-10, 2008, IEEE Computer Society, 978-1-4244-2403-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Claude Helmstetter, Vania Joloboff |
SimSoC: A SystemC TLM integrated ISS for full system simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCCAS ![In: IEEE Asia Pacific Conference on Circuits and Systems, APCCAS 2008, Macao, China, November 30 2008 - December 3, 2008, pp. 1759-1762, 2008, IEEE, 978-1-4244-2342-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Muhammad Omer Cheema, Lionel Lacassagne, Omar Hammami |
System-Platforms-Based SystemC TLM Design of Image Processing Chains for Embedded Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURASIP J. Embed. Syst. ![In: EURASIP J. Embed. Syst. 2007, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | R. Abrini, Mohamed Iben Yaich, Mohsine Khalladi |
Efficient modeling of isotropic cold plasma media using JE-TLM method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Electron. Express ![In: IEICE Electron. Express 4(15), pp. 492-497, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence Maraninchi |
A SystemC/TLM Semantics in Promelaand Its Possible Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings, pp. 204-222, 2007, Springer, 978-3-540-73369-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Lucky L. Chi Yu Lo, Samar Abdi |
Automatic TLM generation for C-Based MPSoC design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLDVT ![In: IEEE International High Level Design Validation and Test Workshop, HLDVT 2007, Irvine, CA, USA, November 7-9, 2007, pp. 29-36, 2007, IEEE Computer Society, 978-1-4244-1480-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Mingsong Chen, Prabhat Mishra 0001, Dhrubajyoti Kalita |
Towards RTL test generation from SystemC TLM specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLDVT ![In: IEEE International High Level Design Validation and Test Workshop, HLDVT 2007, Irvine, CA, USA, November 7-9, 2007, pp. 91-96, 2007, IEEE Computer Society, 978-1-4244-1480-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Alexander Pacholik, Wolfgang Fengler 0001 |
A system model for formal verification of TLM based transaction properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (1) ![In: Proceedings of the 2007 Spring Simulation Multiconference, SpringSim 2007, Norfolk, Virginia, USA, March 25-29, 2007, Volume 1, pp. 93-99, 2007, SCS/ACM, 1-56555-312-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
Petri nets, formal verification, temporal logic, discrete event systems |
20 | Adnane Latif, Abdellah Ait Ouahman, Rachid Hilal |
Design of the Microstrip Antennas λ/8 for Wireless Communications "by TLM Model". ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECS ![In: 14th IEEE International Conference on Electronics, Circuits, and Systems, ICECS 2007, Marrakech, Morocco, December 11-14, 2007, pp. 621-624, 2007, IEEE, 978-1-4244-1377-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Mark Burton, James Aldis, Robert Günzel, Wolfgang Klingauf |
Transaction Level Modelling: A reflection on what TLM is and how TLMs may be classified. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2007, September 18-20, 2007, Barcelona, Spain, Proceedings, pp. 92-97, 2007, ECSI. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
20 | Jens Gladigau, Christian Haubelt, Bernhard Niemann, Jürgen Teich |
Mapping Actor-Oriented Models to TLM Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2007, September 18-20, 2007, Barcelona, Spain, Proceedings, pp. 128-133, 2007, ECSI. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
20 | Rohit Jindal, Laurent Maillet-Contoz |
Rendezvous-based MoC for untimed TLM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoC ![In: International Symposium on System-on-Chip, SoC 2007, Tampere, Finland, November 20-21, 2007, pp. 1, 2007, IEEE, 978-1-4244-1368-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Atsushi Kasuya, Tesh Tesfaye |
Verification Methodologies in a TLM-to-RTL Design Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 44th Design Automation Conference, DAC 2007, San Diego, CA, USA, June 4-8, 2007, pp. 199-204, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Christos Christopoulos |
The Transmission-Line Modeling (TLM) Method in Electromagnetics ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
DOI RDF |
|
20 | Nicola Bombieri, Franco Fummi |
On the Automatic Transactor Generation for TLM-based Design Flows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLDVT ![In: Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, Monterey, CA, USA, Nov 9-10, 2006, pp. 85-92, 2006, IEEE Computer Society, 1-4244-0679-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Grégory Gailliard, Bertrand Mercier, Michel Sarlotte, Bernard Candaele, François Verdier |
Towards a SystemC TLM based Methodology for Platform Design and IP Reuse: Application to Software Defined Radio. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ReCoSoC ![In: Proceedings of the 2nd International Workshop on Reconfigurable Communication-centric Systems-on-Chip, ReCoSoC 2006, Montpellier, France, July 2006, pp. 131-138, 2006, Univ. Montpellier II, 2-9517461-2-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
20 | Bernhard Niemann, Christian Haubelt |
Formalizing TLM with Communicating State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings, pp. 285-293, 2006, ECSI, 978-3-00-019710-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
20 | Martin Radetzki |
SystemC TLM Transaction Modelling and Dispatch for Active Object. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings, pp. 203-209, 2006, ECSI, 978-3-00-019710-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
20 | Mohsine Khalladi, Mohamed Iben Yaich, Noura Aknin, María C. Carrión 0001 |
Modeling of electromagnetic waves propagation in nonlinear optical media using HSCN-TLM method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Electron. Express ![In: IEICE Electron. Express 2(13), pp. 384-391, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Mohsine Khalladi, Mohamed Iben Yaich |
A SCN-TLM approach for the analysis of Lorentz dispersive media. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Electron. Express ![In: IEICE Electron. Express 2(12), pp. 373-378, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Tim Kogel, Anssi Haverinen |
OCP TLM for Architectural Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 225-244, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
20 | Wolfgang Klingauf, Robert Günzel |
From TLM to FPGA: Rapid Prototyping with SystemC and Transaction Level Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPT ![In: Proceedings of the 2005 IEEE International Conference on Field-Programmable Technology, FPT 2005, 11-14 December 2005, Singapore, pp. 285-286, 2005, IEEE, 0-7803-9407-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
20 | Ole Blaurock |
C-model integration and software development using system-level simulation at TLM in a SystemC-based desing flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings, pp. 716-719, 2003, ECSI. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
20 | Jing Li, Ce Liu |
A three-dimensional transmission line matrix method (TLM) for simulations of logging tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Geosci. Remote. Sens. ![In: IEEE Trans. Geosci. Remote. Sens. 38(4), pp. 1522-1529, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Seung-Min Lee, Jin-Hong Chung, Mike Myung-Ok Lee |
High-Speed and Low-Power Real-Time Programmable Video Multi-Processor for MPEG-2 Multimedia Chip on 0.6µm TLM CMOS Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 1999 Conference on Asia South Pacific Design Automation, Wanchai, Hong Kong, China, January 18-21, 1999, pp. 201-204, 1999, IEEE Computer Society, 0-7803-5012-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Sandrick Le Maguer, Nestor Peña, Michel M. Ney |
Matched absorbing medium techniques for full-wave tlm simulation of microwave and millimeter-wave components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. des Télécommunications ![In: Ann. des Télécommunications 53(3-4), pp. 115-129, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | J. G. An, J. S. Shim, Y. M. Kim, Mike Myung-Ok Lee |
50 MHz high-speed and 5 W low-power real-time programmable video multi processor (VMP) for MPEG-2 MP@ML on 0.6 μm TLM CMOS technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECS ![In: 5th IEEE International Conference on Electronics, Circuits and Systems, ICECS 1998, Surfing the Waves of Science and Technology, Lisbon, Portugal, September 7-10, 1998, pp. 463-466, 1998, IEEE, 0-7803-5008-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Laurent Cirio, Jan-Lou Dubard, Dominique Pompei |
Feasibilities and developments of the TLM applied to microstrip antenna characterizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. des Télécommunications ![In: Ann. des Télécommunications 52(7-8), pp. 416-426, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Armen H. Zemanian |
The Transmission-Line Modeling Method TLM (Christos Christopolous). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM Rev. ![In: SIAM Rev. 38(4), pp. 711, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
20 | S. El-Masri, Xavier Pelorson, P. Saguet, Pierre Badin |
Vocal tract acoustics using the transmission line matrix (TLM) method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSLP ![In: The 4th International Conference on Spoken Language Processing, Philadelphia, PA, USA, October 3-6, 1996, pp. 953-956, 1996, ISCA. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Neil R. S. Simons, Abdel Razik Sebak, Greg E. Bridges |
Application of the TLM method to half-space and remote-sensing problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Geosci. Remote. Sens. ![In: IEEE Trans. Geosci. Remote. Sens. 33(3), pp. 759-767, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Pascal O. Luthi, Bastien Chopard, Jean-Frédéric Wagen |
Wave Propagation in Urban Microcells: a Massively Parallel Approach Using the TLM Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARA ![In: Applied Parallel Computing, Computations in Physics, Chemistry and Engineering Science, Second International Workshop, PARA '95, Lyngby, Denmark, August 21-24, 1995, Proceedings, pp. 408-418, 1995, Springer, 3-540-60902-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
20 | John Turner, Richard Cliff, W. Leong, Cameron McClintock, Ninh Ngo, Khai Nguyen, Chiakang Sung, Bonnie Wang, J. Watson |
Migration of a Dual Granularity Globally Interconnected PLD Architecture to a 0.5 µm TLM Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: Field-Programmable Logic and Applications, 5th International Workshop, FPL '95, Oxford, UK, August 29 - September 1, 1995, Proceedings, pp. 15-20, 1995, Springer, 3-540-60294-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
20 | A. H. M. Saleh, Donard de Cogan |
An equivalent circuit for the analysis of transmission line matrix (tlm) scattering algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Circuit Theory Appl. ![In: Int. J. Circuit Theory Appl. 19(3), pp. 317-320, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
20 | S. C. Pomeroy, H. R. Williams, P. Blanchfield |
Evaluation of ultrasonic inspection and imaging systems for robotics using TLM modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotica ![In: Robotica 9(3), pp. 283-290, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
13 | Ines Viskic, Lochi Yu, Daniel Gajski |
Design exploration and automatic generation of MPSoC platform TLMs from Kahn Process Network applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, LCTES 2010, Stockholm, Sweden, April 13-15, 2010, pp. 77-84, 2010, ACM, 978-1-60558-953-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
kahn process, transaction level model, automatic generation, process network, process mapping |
13 | Chen Kang Lo, Ren-Song Tsay |
Automatic generation of Cycle Accurate and Cycle Count Accurate transaction level bus models from a formal model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 14th Asia South Pacific Design Automation Conference, ASP-DAC 2009, Yokohama, Japan, January 19-22, 2009, pp. 558-563, 2009, IEEE, 978-1-4244-2748-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | George Sobral Silveira, Alisson Vasconcelos de Brito, Elmar U. K. Melcher |
Functional verification of power gate design in SystemC RTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBCCI ![In: Proceedings of the 22st Annual Symposium on Integrated Circuits and Systems Design: Chip on the Dunes, SBCCI 2009, Natal, Brazil, August 31 - September 3, 2009, 2009, ACM, 978-1-60558-705-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
simulation, SystemC, RTL, functional verification, power gate |
13 | Marius Gligor, Nicolas Fournel, Frédéric Pétrot |
Using binary translation in event driven simulation for fast and flexible MPSoC simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 7th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2009, Grenoble, France, October 11-16, 2009, pp. 71-80, 2009, ACM, 978-1-60558-628-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
systemc simulation, codesign, binary translation |
13 | Zhu Zhou, Dharmin Parikh, Pradnyesh Gudadhe, Arunabha Sen |
A novel mechanism to dynamically switch speed and accuracy in systemC based transaction level models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 19th ACM Great Lakes Symposium on VLSI 2009, Boston Area, MA, USA, May 10-12 2009, pp. 405-408, 2009, ACM, 978-1-60558-522-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
architectural, performance modeling, functional modeling |
13 | Cedric Walravens, Yves Vanderperren, Wim Dehaene |
ActivaSC: a highly efficient and non-intrusive extension for activity-based analysis of SystemC models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 46th Design Automation Conference, DAC 2009, San Francisco, CA, USA, July 26-31, 2009, pp. 172-177, 2009, ACM, 978-1-60558-497-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
system C, power modeling, activity monitoring |