2010 Forum on Specification & Design Languages (FDL 2010)
Buy conference proceeding
- Location: Southampton, UK
- Conference date: 14-16 Sept. 2010
- ISBN: 978 2 95305 043 1
- Conference number: 2010/002
- The following topics are dealt with: formal verification; debugging; performance optimisation; power optimisation; robustness; formal models; SystemC models; mixed-technology system design; SoC synthesis; model driven approaches; and time modelling.