Volume 21, Issue 1 | Design Automation for Embedded Systems

Search all Design Automation for Embedded Systems articles

Volume 21, Issue 1

March 2017

Filter by

Volume:

Sort by

Date published:

New to old Old to new

2 articles in this issue

Model-based design verification for embedded systems through SVOCL: an OCL extension for SystemVerilog
Muhammad Waseem Anwar
Muhammad Rashid
Muhammad Kashif
OriginalPaper 21 February 2017 Pages: 1 - 36
RELSPEC: a framework for reliability aware design of component based embedded systems
Saurav Kumar Ghosh
P. Vishnuvardhan
Partha Pratim Chakrabarti
OriginalPaper 21 February 2017 Pages: 37 - 87