Get started
Source

ACM SIGDA Newsletter

ISSNs: 0163-5743, 2331-1738
Source type: journal
Alternate names: ACM SIGDA newsletter, Special Interest Group on Design Automation newsletter
Fully OA: No
DOAJ: No
OpenAlex ID: S4210188276
Department of electrical engineering and computer science
1990 · M. Sarrafzadeh · ACM SIGDA Newsletter · 328
PDF
The equivalence of theorem proving and the interconnection problem
1975 · James F. Lynch · ACM SIGDA Newsletter · 150
The international conference on computer-aided design 1989
1990 · Kaushik Roy · ACM SIGDA Newsletter · 134
PDF
What is formal verification?
2005 · Per Bjesse · ACM SIGDA Newsletter · 46
What is Predictive Technology Model (PTM)?
2009 · Yu (Kevin) Cao · ACM SIGDA Newsletter · 33
What is Bluespec?
2009 · Rishiyur S. Nikhil, Arvind · ACM SIGDA Newsletter · 17
Review of "Fault Diagnosis of Digital Systems by H. Y. Chang, E. Manning, G. Metze", Wiley-InterScience 1970
1971 · Steve Krosner · ACM SIGDA Newsletter · 15
PDF
What is Bluespec?
2008 · Rishiyur S. Nikhil, Arvind · ACM SIGDA Newsletter · 14
Virtual grid symbolic layout
1982 · Neil Weste · ACM SIGDA Newsletter · 10
LOGE
1979 · W. Grass, H. M. Lipp · ACM SIGDA Newsletter · 10
PDF
1994 international workshop on low power design
1994 · Massoud Pedram, Bryan Preas · ACM SIGDA Newsletter · 9
PDF
What is hardware/software partitioning?
2009 · Frank Vahid · ACM SIGDA Newsletter · 8
A Position Paper On
1989 · Howard K. Lane · ACM SIGDA Newsletter · 8
Mixed-level simulation from a hierarchical CHDL
1980 · William A. Johnson, Jeri Jane Crowley, et al. · ACM SIGDA Newsletter · 8
PDF
What is process window?
2010 · Puneet Gupta · ACM SIGDA Newsletter · 7
Triple modular redundancy
2007 · Wikipedia · ACM SIGDA Newsletter · 7
The promise of plasmonics
2007 · Harry A. Atwater · ACM SIGDA Newsletter · 7
1991 International Workshop on Formal Methods in VLSI Design
1991 · Richard Boulton · ACM SIGDA Newsletter · 7
PDF
A rationale for heuristic program selection and evaluation
1973 · J. P. Ignizio, R. M. Wyskida, et al. · ACM SIGDA Newsletter · 7
PDF
An approach to pin assignment in printed circuit board design
1980 · Tran Dinh Am, Masato Tanaka, et al. · ACM SIGDA Newsletter · 6
PDF
A proposal for information systems design and management
1980 · C. Roland, C. Richard, et al. · ACM SIGDA Newsletter · 6
PDF
CAD for LSI
1976 · J. G. M. Klomp · ACM SIGDA Newsletter · 6
PDF
What is graphene?
2009 · Raghunath Murali, James D. Meindl · ACM SIGDA Newsletter · 5
What is flexible electronics?
2009 · Kwang-Ting (Tim) Cheng, Tsung-Ching Huang · ACM SIGDA Newsletter · 5
Data management requirements for large scale design and production
1977 · Malcolm Atkinson, Neil Wiseman · ACM SIGDA Newsletter · 5
PDF
Works count: 460
Citation count: 983
H-index: 10
I10-index: 10
2yr mean citedness:
Year
Topic
Type