export record
dblp key:
conf/fdl/StattelmannVBR10 share record
persistent URL:
Stefan Stattelmann , Alexander Viehl , Oliver Bringmann , Wolfgang Rosenstiel : Reconstructing Line References from Optimized Binary Code for Source-Level Annotation. FDL 2010 : 62-67 share record
persistent URL:
André Sülflow : Bounded Fault Tolerance Checking. FDL 2010 : 71 share record
persistent URL:
Eugenio Villar , Fernando Herrera , Víctor Fernández : Formal Support for Untimed SystemC Specifications: Application to High-level Synthesis. FDL 2010 : 74-79 share record
persistent URL:
Bo Wang , Ian O'Connor , Emmanuel Drouard , Lioua Labrak : Bottom-up Verification Methodology for CMOS Photonic Linear Heterogeneous System. FDL 2010 : 149-154 share record
persistent URL:
Robert Wille , Sebastian Offermann , Rolf Drechsler : SyReC: A Programming Language for Synthesis of Reversible Circuits. FDL 2010 : 184-189 share record
persistent URL:
Jun Ye , QingPing Tan , Tun Li , Bin Wu , Yuanru Meng : Feature-Oriented Refactoring Proposal for Transaction Level Models in SoCLib. FDL 2010 : 22-27 share record
persistent URL:
Daniel Zaum , Stefan Hoelldampf , Markus Olbrich , Erich Barke , Ingmar Neumann : An Accelerated Mixed-Signal Simulation Kernel for SystemC. FDL 2010 : 234-239 share record
persistent URL:
Chenxu Zhao , Tom J. Kazmierski : SystemC-A Modelling of Mixed-Technology Systems with Distributed Behaviour. FDL 2010 : 105-110 share record
persistent URL:
Chenxu Zhao , Tom J. Kazmierski : Genetic-Based High-Level Synthesis of Sigma-Delta Modulator in SystemC-A. FDL 2010 : 165-170 share record
persistent URL:
Jun Zhu , Ingo Sander , Axel Jantsch : HetMoC: Heterogeneous Modelling in SystemC. FDL 2010 : 117-122 share record
persistent URL:
Adam Morawiec , Jinnie Hinderscheit : Proceedings of the 2010 Forum on specification & Design Languages, FDL 2010, September 14-16, 2010, Southampton, UK. ECSI, Electronic Chips & Systems design Initiative 2010 [contents]