知识中心主页
文献服务
文献资源
外文期刊
外文会议
专业机构
智能制造
高级检索
版权声明
使用帮助
期刊
ISSN
1084-4309
刊名
ACM Transactions on Design Automation of Electronic Systems
参考译名
ACM电子系统自动化设计汇刊
收藏年代
2000~2025
全部
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
2025
2012, vol.17, no.1
2012, vol.17, no.2
2012, vol.17, no.3
2012, vol.17, no.4
题名
作者
出版年
年卷期
MCEmu: A Framework for Software Development and Performance Analysis of Multicore Systems
CHIA-HENG TU; SHIH-HAO HUNG; TUNG-CHIEH TSAI
2012
2012, vol.17, no.4
Formal Verification and Debugging of Precise Interrupts on High Performance Microprocessors
BIJAN ALIZADEH
2012
2012, vol.17, no.4
Synchronizing AMS Assertions with AMS Simulation: From Theory to Practice
SUBHANKAR MUKHERJEE; PALLAB DASGUPTA; SIDDHARTHA MUKHOPADHYAY; SCOTT LITTLE; JOHN HAVLICEK; SRIKANTH CHANDRASEKARAN
2012
2012, vol.17, no.4
Resource Sharing of Pipelined Custom Hardware Extension for Energy-Efficient Application-Specific Instruction Set Processor Design
HAI LIN; YUNSI FEI
2012
2012, vol.17, no.4
A Hardware/Software Cooperative Custom Register Binding Approach for Register Spill Elimination in Application-Specific Instruction Set Processors
HAI LIN; TIANSI HU; YUNSI FEI
2012
2012, vol.17, no.4
Buffer Optimization and Dispatching Scheme for Embedded Systems with Behavioral Transparency
AN-PING WANG; JIWON HAHN; MAHSHID ROUMI; PAI H. CHOU
2012
2012, vol.17, no.4
An Algorithm for Jointly Optimizing Quantization and Multiple Constant Multiplication
MATTHEW B. GATELY; MARK B. YEARY; CHOON YIK TANG
2012
2012, vol.17, no.4
Synthesis of Adaptable Hybrid Adders for Area Optimization under Timing Constraint
YONGHWAN KIM; SANGHOON KWAK; TAEWHAN KIM
2012
2012, vol.17, no.4
The Synthesis of Cyclic Dependencies with Boolean Satisfiability
JOHN D. BACKES; MARC D. RIEDEL
2012
2012, vol.17, no.4
Static NBTI Reduction Using Internal Node Control
DAVID R. BILD; ROBERT P. DICK; GREGORY E. BOK
2012
2012, vol.17, no.4
1
2
制造业外文文献服务平台