Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Gregory S. Spirakis

dblp:00/2048 · DBLP profile ↗
← Back
6ranked-venue papers
3as first author
0since 2021 · last 2007
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 6 · 3 first-authorSoftware engineering, systems software and programming languages · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
4 papers
Electronic design automation · 80% Energy-efficient computing · 20%

Topics — the 7 heaviest of 8, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Electronic design automation
design methodology
0.012003
Leading-edge and future design challenges - is the classical EDA ready? · DAC 2003
Energy-efficient computing
microprocessor power management
0.012000
EDA challenges facing future microprocessor design · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2000
Electronic design automation › hardware verification and test
performance verification
0.012000
EDA challenges facing future microprocessor design · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2000
Energy-efficient computing
power management
0.012000
EDA challenges facing future microprocessor design · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2000
Electronic design automation › hardware verification and test
processor verification
0.012000
EDA challenges facing future microprocessor design · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2000
Electronic design automation › hardware verification and test
formal verification
0.012003
Leading-edge and future design challenges - is the classical EDA ready? · DAC 2003
Electronic design automation
hardware verification and test
0.012003
Leading-edge and future design challenges - is the classical EDA ready? · DAC 2003
YearPublicationVenuePosition
2007 Megatrends and EDA 2017
Francine Bacchini, Gregory S. Spirakis, Juan Antonio Carballo, Kurt Keutzer, Aart J. de Geus, Fu-Chieh Hsu, Kazu Yamada
DAC2
2004 Opportunities and Challenges in Building Silicon Products in 65nm and Beyond
abstract
The demand for cheaper, faster and more integrated semiconductor products is expected to drive the scaling of silicon technology, enabling continuance of Moore's law at least for another decade. However, technology scaling presents several manufacturing and design technology challenges that must be overcome to build semiconductor products in a cost effective manner. While some of the existing challenges that we face today such as power, process variations are expected to become worse at smaller geometries requiring innovations, new problems may arise in integrating heterogeneous technologies such as RF, MEMS on the same die/package. A myriad of design technology challenges starting from functional validation to timing validation and design for test to manufacturability must be addressed to successfully build products. The paper will highlight challenges and identify some of the opportunities in driving design technologies forward.
Gregory S. Spirakis
DATE1
2003 Leading-edge and future design challenges - is the classical EDA ready?
abstract
Current design tools are lagging behind and, in some cases, slowing the growth of the VLSI market. Disruptive design methods are necessary to bridge the gap. Abstraction and re-use are believed to be the most promising approaches. However, difficult open questions still exist in this new flow. In particular, how a high-level design can be transformed into an implementation while ensuring full (formal) verification of the correspondence between the models.
Gregory S. Spirakis
DAC1
2002 Homegrown Tools and Equipment versus EDA and ATE Vendors: The Future of Design to Test Product Lines
Gregory S. Spirakis
ITC1
2001 Panel: What Drives EDA Innovation?
abstract
If EDA technology innovation drives return on investment, what drives innovation? Is it tied to the semiconductor retooling cycle? To productivity requirements? To Moores Law? Or is there something more fundamental that we are missing? What driving forces could result in a $30 billion EDA industry, and what role will innovation play? Will the industry provide the needed breakthroughs for their customers, or seek instead the lowest common denominator user? Will designers “roll their own” tools or seek common solutions? How does EDA innovation track with the semiconductor business cycle? Does a slowdown accelerate or depress creation of new tools and new designs? Panelists will discuss the forces at work in the EDA industry of tomorrow.
Steven E. Schulz, Georgia Marszalek, Greg Hinckley, Gregory S. Spirakis, Karen Vahtra, John A. Darringer, J. George Janac, Handel H. Jones
DAC4
2000 EDA challenges facing future microprocessor design
abstract
As microprocessor design progresses from tens of millions of transistors on a chip using 0.18-/spl mu/m process technology to approximately a billion transistors on a chip using 0.10-/spl mu/m and finer process technologies, the microprocessor designer faces unprecedented Electronic Design Automation (EDA) challenges over the future generations of microprocessors. This paper describes the changes in the design environment that will be necessary to develop increasingly complex microprocessors. In particular, the paper describes the current status and the future challenges along three important areas in a design flow: design correctness, performance verification and power management.
T. Karn, Shishpal Rawat, Desmond Kirkpatrick, Rabindra K. Roy, Gregory S. Spirakis, Naveed A. Sherwani, Craig Peterson
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.5