中国机械工程学会生产工程分会知识服务平台

期刊


ISSN0929-5585
刊名Design automation for embedded systems
参考译名嵌入系统设计自动化
收藏年代2000～2024



全部

2000 2001 2002 2003 2004 2005
2006 2007 2008 2009 2010 2011
2012 2013 2014 2015 2016 2017
2018 2019 2020 2021 2022 2023
2024

2003, vol.8, no.1 2003, vol.8, no.2-3 2003, vol.8, no.4

题名作者出版年年卷期
An Efficient Simulation Environment and Simulation Techniques for Bluetooth Device DesignYongjin Ahn; Deahong Kim; Sunghyun Lee; Sanggyu Park; Sungjoo Yoo; Kiyoung Choi; Soo-Ik Chae20032003, vol.8, no.2-3
Formal Verification for Embedded System DesignsXI CHEN; HARRY HSIEH; FELICE BALARIN; YOSINORI WATANABE20032003, vol.8, no.2-3
Towards SoC Validation Through Prototyping: A Systematic Approach Based on Reconfigurable PlatformArif Sasongko; Amer Baghdadi; Frederic Rousseau; Ahmed Amine Jerraya20032003, vol.8, no.2-3
Enhanced Symbolic Simulation for Functional Verification of Embedded Array SystemsLi-C Wang; Tag Feng; Kwang-Ting (Tim) Cheng; Magdy S. Abadir; Manish Pandey20032003, vol.8, no.2-3
Performance Analysis of Arbitration Policies for SoC Communication ArchitecturesFRANCESCO POLETTI; DAVIDE BERTOZZI; LUCA BENINI; ALESSANDRO BOGLIOLO20032003, vol.8, no.2-3
Fast and Time-Accurate Cosimulation with OS Scheduler ModelingYOUNGMIN YI; DOHYUNG KIM; SOONHOI HA20032003, vol.8, no.2-3
A Remote Methodology for Embedded Systems Design and ValidationALESSANDRO FIN; FRANCO FUMMI20032003, vol.8, no.2-3
Towards Automatic Validation of Dynamic Behavior in Pipelined Processor SpecificationsPRABHAT MISHRA; NIKIL DUTT; HIROYUKITOMIYAMA20032003, vol.8, no.2-3



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  京公网安备11010202008970号  机械工业信息研究院 2018-2024