中国机械工程学会生产工程分会知识服务平台 | sc.gmachineinfo.com

期刊

ISSN	1084-4309
刊名	ACM Transactions on Design Automation of Electronic Systems
参考译名	ACM电子系统自动化设计汇刊
收藏年代	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

2001, vol.6, no.1

2001, vol.6, no.2

2001, vol.6, no.3

2001, vol.6, no.4

题名

作者

出版年

年卷期

An exact solution to the minimum size test pattern problem

Paulo F. Flores; Horacio C. Neto; Joao P. Marques-Silva

2001

2001, vol.6, no.4

Forced simulation: a technique for automating component reuse in embedded systems

Partha S. Roop; A. Sowmya; S. Ramesh

2001

2001, vol.6, no.4

Optimizing designs containing black boxes

Tai-Hung Liu; Adnan Aziz; Vigyan Singhal

2001

2001, vol.6, no.4

Using complete-1-distinguishability for FSM equivalence checking

Pranav Ashar; Arati Gupta; Sharad Malik

2001

2001, vol.6, no.4

Data memory design and exploration for low-power embedded systems

Wen-Tsong Shiue; Sathishkumar Udayanarayanan; Chaitali Chakrabarti

2001

2001, vol.6, no.4

On the fundamental limitations of transformational design

Jeroen Voeten

2001

2001, vol.6, no.4

Optimal design of synchronous circuits using software pipelining techniques

Francois R. Boyer; El Mostapha Aboulhamid; Yvon Savaria; Michel Boyer

2001

2001, vol.6, no.4

Introspection: a register transfer level technique for concurrent error detection and diagnosis in data dominated designs

Ramesh Karri; Balakrishnan Iyer

2001

2001, vol.6, no.4

A fast approach to computing exact solutions to the resource-constrained scheduling problem

M. Narasimhan; J. Ramanujam

2001

2001, vol.6, no.4

Diagnostic simulation of stuck-at faults in sequential circuits using compact lists

Ismed Hartanto; W. Kent Fuchs; Elizabeth M. Rudnick; Janak H. Patel; Sreejit Chakravarty; Srikanth Venkataraman

2001

2001, vol.6, no.4