Design Automation for Embedded Systems
An International Journal
Design Automation for Embedded Systems is a multidisciplinary journal addressing the systematic design of embedded systems. It offers a forum for scientists and engineers to report their latest work and results on algorithms, tools, architectures, case studies, and actual design examples. The journal focuses primarily on tools, methodologies and architectures for embedded systems, including HW/SW co-design, simulation and modeling approaches, synthesis techniques, architectures, and design exploration.
Burhan Khurshid (March 2017)
Model-based design verification for embedded systems through SVOCL: an OCL extension for SystemVerilog
- Journal Title
- Design Automation for Embedded Systems
- Volume 1 / 1996 - Volume 21 / 2017
- Print ISSN
- Online ISSN
- Springer US
- Additional Links
- Industry Sectors
To view the rest of this content please follow the download PDF link above.