先进制造业知识服务平台
国家科技图书文献中心机械分馆　　工信部产业技术基础公共服务平台　　国家中小企业公共服务示范平台

期刊


ISSN1084-4309
刊名ACM Transactions on Design Automation of Electronic Systems
参考译名ACM电子系统自动化设计汇刊
收藏年代2000～2023



全部

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

2004, vol.9, no.1 2004, vol.9, no.2 2004, vol.9, no.3 2004, vol.9, no.4

题名作者出版年年卷期
Formal Hardware Specification Languages for Protocol Compliance VerificationANNETTE BUNKER; GANESH GOPALAKRISHNAN; SALLY A. MCKEE20042004, vol.9, no.1
Power Minimization Algorithms for LUT-Based FPGA Technology MappingHAO LI; SRINIVAS KATKOORI; WAI-KEI MAK20042004, vol.9, no.1
Fast Memory Bank Assignment for Fixed-Point Digital Signal ProcessorsJEONGHUN CHO; YUNHEUNG PAEK; DAVID WHALLEY20042004, vol.9, no.1
Manhattan-Diagonal Routing in Channels and SwitchboxesSANDIP DAS; SUSMITA SUR-KOLAY; BHARGAB B. BHATTACHARYA20042004, vol.9, no.1
A BNF-Based Automatic Test Program Generator for Compatible Microprocessor VerificationLIEH-MING WU; KUOCHEN WANG; CHUANG-YI CHIU20042004, vol.9, no.1



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