Author:
De Micheli G.,Ku D.,Mailhot F.,Truong T.
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Hardware and Architecture,Software,Electrical and Electronic Engineering,Hardware and Architecture,Software
Cited by
50 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Design Flows for Embedded IoT Hardware;Components and Services for IoT Platforms;2016-09-24
2. Logic Synthesis;Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology;2016-04-14
3. Hardware Support for Adaptive Task Scheduler in RTOS;Advances in Intelligent Systems and Computing;2015-08-29
4. Formal Methods in High-Level and System Synthesis;Semantic Hyper/Multimedia Adaptation;2013
5. Formal ESL Synthesis for Control-Intensive Applications;Advances in Software Engineering;2012-06-27