Search results for "TLM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Imed Bennour	Petri nets framework for analyzing the communication behavior of TLM modules.	DTIS	2012	DBLP DOI BibTeX RDF
20	Nicola Bombieri, Franco Fummi, Graziano Pravadelli	Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions.	IEEE Trans. Computers	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.	ACM Trans. Model. Comput. Simul.	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.	Comput. Biol. Medicine	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.	IEEE Des. Test Comput.	2011	DBLP DOI BibTeX RDF
20	Mohamed Bawadekji, Daniel Große, Rolf Drechsler	TLM protocol compliance checking at the Electronic System Level.	DDECS	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.	MTV	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.	DATE	2011	DBLP DOI BibTeX RDF
20	Carsten Gremzow, Nico Moser, Jan Lucas	sysCgen - A Tool for SystemC TLM Simulator Synthesis.	MBMV	2011	DBLP BibTeX RDF
20	Vaibhav Jain, Anshul Kumar, Preeti Ranjan Panda	A UML based framework for efficient validation of TLM 2 models.	FDL	2011	DBLP BibTeX RDF
20	Fabio Cenni, Serge Scotti, Emmanuel Simeu	Behavioral modeling of a CMOS video sensor platform using systemc AMS/TLM.	FDL	2011	DBLP BibTeX RDF
20	Marcel Pockrandt, Paula Herber, Sabine Glesner	Model checking a SystemC/TLM design of the AMBA AHB protocol.	ESTIMedia	2011	DBLP DOI BibTeX RDF
20	Fabio Cenni, Serge Scotti, Emmanuel Simeu	A SystemC AMS/TLM platform for CMOS video sensors.	DASIP	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.	DASIP	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.	LATW	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.	LATW	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.	ISQED	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.	ECMFA	2011	DBLP DOI BibTeX RDF
20	Nicola Bombieri, Franco Fummi, Davide Quaglia	System/network design-space exploration based on TLM for networked embedded systems.	ACM Trans. Embed. Comput. Syst.	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.	J. Inform. and Commun. Convergence Engineering	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.	MEMOCODE	2010	DBLP DOI BibTeX RDF
20	Laurence Pierre, Luca Ferro	Enhancing the assertion-based verification of TLM designs with reentrancy.	MEMOCODE	2010	DBLP DOI BibTeX RDF
20	Hoang Minh Le 0001, Daniel Große, Rolf Drechsler	Automatic Fault Localization for SystemC TLM Designs.	MTV	2010	DBLP DOI BibTeX RDF
20	Homa Alemzadeh, Marco Cimei, Paolo Prinetto, Zainalabedin Navabi	Facilitating testability of TLM FIFO: SystemC implementations.	EWDTS	2010	DBLP DOI BibTeX RDF
20	Amirali Ghofrani, Fatemeh Javaheri, Zainalabedin Navabi	Assertion based verification in TLM.	EWDTS	2010	DBLP DOI BibTeX RDF
20	Nadereh Hatami, Marco Indaco, Paolo Prinetto, Gabriele Tiotto	Communication interface synthesis from TLM 2.0 to RTL.	EWDTS	2010	DBLP DOI BibTeX RDF
20	Wolfgang Ecker, Volkan Esen, Robert Schwencker, Thomas Steininger, Michael Velten	TLM+ modeling of embedded HW/SW systems.	DATE	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.	DATE	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.	DATE	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.	DATE	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.	ARCS Workshops	2010	DBLP BibTeX RDF
20	Samar Abdi	TLM automation for multi-core design.	ASP-DAC	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.	ASP-DAC	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.	HLDVT	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.	HLDVT	2010	DBLP DOI BibTeX RDF
20	Hoang Minh Le 0001, Daniel Große, Rolf Drechsler	Towards analyzing functional coverage in SystemC TLM property checking.	HLDVT	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.	International Symposium on Rapid System Prototyping	2010	DBLP DOI BibTeX RDF
20	Aisha Fouad Bushager, Mark Zwolinski	Modelling Smart Card Security Protocols in SystemC TLM.	EUC	2010	DBLP DOI BibTeX RDF
20	Marius Monton	Checkpointing for virtual platforms and systemC-TLM-2.0.		2010	RDF
20	Donard de Cogan, Xiang Gui, Miroslawa Rak	Some Observations on the TLM Numerical Solution of the Laplace Equation.	J. Math. Model. Algorithms	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.	MEMOCODE	2009	DBLP DOI BibTeX RDF
20	Daniel Große, Hoang Minh Le 0001, Rolf Drechsler	Induction-Based Formal Verification of SystemC TLM Designs.	MTV	2009	DBLP DOI BibTeX RDF
20	Nicola Bombieri, Franco Fummi, Graziano Pravadelli	On the Mutation Analysis of SystemC TLM-2.0 Standard.	MTV	2009	DBLP DOI BibTeX RDF
20	Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Mark Hampton, Florian Letombe	Functional qualification of TLM verification.	DATE	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.	DATE	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.	DSD	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.	IESS	2009	DBLP DOI BibTeX RDF
20	Luca Ferro, Laurence Pierre	ISIS: Runtime verification of TLM platforms.	FDL	2009	DBLP BibTeX RDF
20	Stefano Di Carlo, Nadereh Hatami, Paolo Prinetto, Alessandro Savino	System Level Testing via TLM 2.0 Debug Transport Interface.	DFT	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.	Eng. Lett.	2008	DBLP BibTeX RDF
20	Mohammad Reza Kakoee, Mohammad Hossein Neishaburi, Siamak Mohammadi	Graph based test case generation for TLM functional verification.	Microprocess. Microsystems	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.	Microelectron. J.	2008	DBLP DOI BibTeX RDF
20	Nicola Bombieri, Franco Fummi, Graziano Pravadelli	RTL-TLM equivalence checking based on simulation.	EWDTS	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.	ICECS	2008	DBLP DOI BibTeX RDF
20	Henrik Svensson, Thomas Lenart, Viktor Öwall	Modelling and exploration of a reconfigurable array using systemC TLM.	IPDPS	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.	FDL	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.	FDL	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.	SoCC	2008	DBLP DOI BibTeX RDF
20	Sami Boukhechem, El-Bay Bourennane	TLM Platform Based on SystemC for STARSoC Design Space Exploration.	AHS	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.	ITC	2008	DBLP DOI BibTeX RDF
20	Claude Helmstetter, Vania Joloboff	SimSoC: A SystemC TLM integrated ISS for full system simulation.	APCCAS	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.	EURASIP J. Embed. Syst.	2007	DBLP DOI BibTeX RDF
20	R. Abrini, Mohamed Iben Yaich, Mohsine Khalladi	Efficient modeling of isotropic cold plasma media using JE-TLM method.	IEICE Electron. Express	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.	SPIN	2007	DBLP DOI BibTeX RDF
20	Lucky L. Chi Yu Lo, Samar Abdi	Automatic TLM generation for C-Based MPSoC design.	HLDVT	2007	DBLP DOI BibTeX RDF
20	Mingsong Chen, Prabhat Mishra 0001, Dhrubajyoti Kalita	Towards RTL test generation from SystemC TLM specifications.	HLDVT	2007	DBLP DOI BibTeX RDF
20	Alexander Pacholik, Wolfgang Fengler 0001	A system model for formal verification of TLM based transaction properties.	SpringSim (1)	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".	ICECS	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.	FDL	2007	DBLP BibTeX RDF
20	Jens Gladigau, Christian Haubelt, Bernhard Niemann, Jürgen Teich	Mapping Actor-Oriented Models to TLM Architectures.	FDL	2007	DBLP BibTeX RDF
20	Rohit Jindal, Laurent Maillet-Contoz	Rendezvous-based MoC for untimed TLM.	SoC	2007	DBLP DOI BibTeX RDF
20	Atsushi Kasuya, Tesh Tesfaye	Verification Methodologies in a TLM-to-RTL Design Flow.	DAC	2007	DBLP DOI BibTeX RDF
20	Christos Christopoulos	The Transmission-Line Modeling (TLM) Method in Electromagnetics		2006	DOI RDF
20	Nicola Bombieri, Franco Fummi	On the Automatic Transactor Generation for TLM-based Design Flows.	HLDVT	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.	ReCoSoC	2006	DBLP BibTeX RDF
20	Bernhard Niemann, Christian Haubelt	Formalizing TLM with Communicating State Machines.	FDL	2006	DBLP BibTeX RDF
20	Martin Radetzki	SystemC TLM Transaction Modelling and Dispatch for Active Object.	FDL	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.	IEICE Electron. Express	2005	DBLP DOI BibTeX RDF
20	Mohsine Khalladi, Mohamed Iben Yaich	A SCN-TLM approach for the analysis of Lorentz dispersive media.	IEICE Electron. Express	2005	DBLP DOI BibTeX RDF
20	Tim Kogel, Anssi Haverinen	OCP TLM for Architectural Modelling.	FDL	2005	DBLP BibTeX RDF
20	Wolfgang Klingauf, Robert Günzel	From TLM to FPGA: Rapid Prototyping with SystemC and Transaction Level Modeling.	FPT	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.	FDL	2003	DBLP BibTeX RDF
20	Jing Li, Ce Liu	A three-dimensional transmission line matrix method (TLM) for simulations of logging tools.	IEEE Trans. Geosci. Remote. Sens.	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.	ASP-DAC	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.	Ann. des Télécommunications	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.	ICECS	1998	DBLP DOI BibTeX RDF
20	Laurent Cirio, Jan-Lou Dubard, Dominique Pompei	Feasibilities and developments of the TLM applied to microstrip antenna characterizations.	Ann. des Télécommunications	1997	DBLP DOI BibTeX RDF
20	Armen H. Zemanian	The Transmission-Line Modeling Method TLM (Christos Christopolous).	SIAM Rev.	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.	ICSLP	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.	IEEE Trans. Geosci. Remote. Sens.	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.	PARA	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.	FPL	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.	Int. J. Circuit Theory Appl.	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.	Robotica	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.	LCTES	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.	ASP-DAC	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.	SBCCI	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.	CODES+ISSS	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.	ACM Great Lakes Symposium on VLSI	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.	DAC	2009	DBLP DOI BibTeX RDF	system C, power modeling, activity monitoring