13. FDL 2010:
Southampton, UK Adam Morawiec , Jinnie Hinderscheit (Eds.):
Proceedings of the 2010 Forum on specification & Design Languages, FDL 2010, September 14-16, 2010, Southampton, UK.
ECSI, Electronic Chips & Systems design Initiative 2010 LBSD1:
Inheritance and Modelling
export record as
dblp key:
export record as
dblp key:
David Rich :
A Solution to the Lack of Multiple Inheritance in SystemVerilog.
16-21
export record as
dblp key:
ABD1:
Formal Models for Verification and Debug
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
LBSD2:
Power and Performance Optimisation
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/fdl/StattelmannVBR10
ABD Tutorial:
Robustness
export record as
dblp key:
Régis Leveugle :
Early Robustness Evaluation of Digital Integrated Systems.
69-70
export record as
dblp key:
export record as
dblp key:
ABD+LBSD:
Formal Models for Design Analysis
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
EAMS1:
More SystemC for "More than Moore"
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
LBSD3:
Efficient Analysis and Simulation of SystemC Models
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
EAMS2:
Analog and Mixed-Technology System Design
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
LBSD4:
Synthesis for SoC and Beyond
export record as
dblp key:
David Greaves ,
M. J. Nam :
Synthesis of Glue Logic, Transactors, Multiplexors and Serialisors from Protocol Specifications.
171-177
export record as
dblp key:
export record as
dblp key:
UMES1:
Model Driven Approaches for the Development of Embedded Systems
export record as
dblp key:
conf/fdl/BrettschneiderH10 export record as
dblp key:
export record as
dblp key:
SystemC AMS Extensions
export record as
dblp key:
François Pêcheux ,
Amer Habib :
Towards High-Level Executable Specifications of Heterogeneous Systems with SystemC-AMS: Application to a Manycore PCR-CE Lab on Chip for DNA Sequencing.
210-215
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
UMES2:
Time modelling with MARTE
export record as
dblp key:
data released under the ODC-BY 1.0 license
