Journal cover

Design Automation for Embedded Systems

An International Journal

Volume 23, issue 3-4, December 2019

5 articles in this issue

Control-schedule co-design for fast stabilization in real time systems facing repeated reconfigurations

Authors
- Jaishree Mayank
- Arijit Mondal
- Arnab Sarkar
- Content type: OriginalPaper
- Published: 14 June 2019
- Pages: 79 - 101
Memphis: a framework for heterogeneous many-core SoCs generation and validation

Authors (first, second and last of 4)
- Marcelo Ruaro
- Luciano L. Caimi
- Fernando G. Moraes
- Content type: OriginalPaper
- Published: 20 August 2019
- Pages: 103 - 122
On embedding a hardware description language in Isabelle/HOL

Authors (first, second and last of 4)
- Wilayat Khan
- David Sanan
- Liu Yang
- Content type: OriginalPaper
- Published: 05 November 2019
- Pages: 123 - 151
Code generation for distributed embedded systems with VDM-RT

Authors (first, second and last of 6)
- Miran Hasanagić
- Tommaso Fabbri
- Julien Ouy
- Content type: OriginalPaper
- Published: 19 November 2019
- Pages: 153 - 177
A model-driven framework for design and verification of embedded systems through SystemVerilog

Authors (first, second and last of 5)
- Muhammad Waseem Anwar
- Muhammad Rashid
- Wasi Haider Butt
- Content type: OriginalPaper
- Published: 08 November 2019
- Pages: 179 - 223