Daniel Gajski

Last updated

Daniel Gajski is a Professor of the School of Information and Computer Science and the School of Engineering at University of California, Irvine, United States. [1] He was previously the Director for the Center for Embedded Computer Systems (CECS), [2] now known as the Center for Embedded and Cyber-physical Systems.

Contents

After 10 years of industrial experience in Europe and the United States in digital circuits, telecommunication systems, supercomputer design, and VLSI structures, he spent 10 years in academia with the Department of Computer Science at the University of Illinois at Urbana-Champaign. His research interests include embedded systems and information technology, design methodologies, specification languages and CAD software, and the science of design. [3]

In 1994, Daniel Gajski became an IEEE fellow for his work in VLSD, CAD tools, and system level design methodology. [4]

On January 10, 2010, the European Design and Automation Association (EDAA) announced that the EDAA Lifetime Achievement Award goes to Dr. Daniel Gajski. [5] This award is given to individuals who have made outstanding contributions to the state of the art in electronic design, automation and testing of electronic systems in their life.

Selected books

See also

Related Research Articles

<span class="mw-page-title-main">John Ousterhout</span> American computer scientist

John Kenneth Ousterhout is a professor of computer science at Stanford University. He founded Electric Cloud with John Graham-Cumming. Ousterhout was a professor of computer science at University of California, Berkeley where he created the Tcl scripting language and the Tk platform-independent widget toolkit, and proposed the idea of coscheduling. Ousterhout led the research group that designed the experimental Sprite operating system and the first log-structured file system. Ousterhout also led the team that developed the Magic VLSI computer-aided design (CAD) program.

Electronic design automation (EDA), also referred to as electronic computer-aided design (ECAD), is a category of software tools for designing electronic systems such as integrated circuits and printed circuit boards. The tools work together in a design flow that chip designers use to design and analyze entire semiconductor chips. Since a modern semiconductor chip can have billions of components, EDA tools are essential for their design; this article in particular describes EDA specifically with respect to integrated circuits (ICs).

In computer engineering, logic synthesis is a process by which an abstract specification of desired circuit behavior, typically at register transfer level (RTL), is turned into a design implementation in terms of logic gates, typically by a computer program called a synthesis tool. Common examples of this process include synthesis of designs specified in hardware description languages, including VHDL and Verilog. Some synthesis tools generate bitstreams for programmable logic devices such as PALs or FPGAs, while others target the creation of ASICs. Logic synthesis is one step in circuit design in the electronic design automation, the others are place and route and verification and validation.

The process of circuit design can cover systems ranging from complex electronic systems down to the individual transistors within an integrated circuit. One person can often do the design process without needing a planned or structured design process for simple circuits. Still, teams of designers following a systematic approach with intelligently guided computer simulation are becoming increasingly common for more complex designs. In integrated circuit design automation, the term "circuit design" often refers to the step of the design cycle which outputs the schematics of the integrated circuit. Typically this is the step between logic design and physical design.

The primary focus of this article is asynchronous control in digital electronic systems. In a synchronous system, operations are coordinated by one, or more, centralized clock signals. An asynchronous system, in contrast, has no global clock. Asynchronous systems do not depend on strict arrival times of signals or messages for reliable operation. Coordination is achieved using event-driven architecture triggered by network packet arrival, changes (transitions) of signals, handshake protocols, and other methods.

Electronic system level (ESL) design and verification is an electronic design methodology, focused on higher abstraction level concerns. The term Electronic System Level or ESL Design was first defined by Gartner Dataquest, an EDA-industry-analysis firm, on February 1, 2001. It is defined in ESL Design and Verification as: "the utilization of appropriate abstractions in order to increase comprehension about a system, and to enhance the probability of a successful implementation of functionality in a cost-effective manner."

<span class="mw-page-title-main">Technology CAD</span>

Technology computer-aided design is a branch of electronic design automation (EDA) that models semiconductor fabrication and semiconductor device operation. The modeling of the fabrication is termed process TCAD, while the modeling of the device operation is termed device TCAD. Included are the modelling of process steps, and modelling of the behavior of the electrical devices based on fundamental physics, such as the doping profiles of the devices. TCAD may also include the creation of "compact models", which try to capture the electrical behavior of such devices but do not generally derive them from the underlying physics. SPICE simulator itself is usually considered as part of EDA rather than TCAD.

Giovanni De Micheli is a research scientist in electronics and computer science. He is credited for the invention of the Network on a Chip design automation paradigm and for the creation of algorithms and design tools for Electronic Design Automation (EDA). He is Professor and Director of the Integrated Systems laboratory at École Polytechnique Fédérale de Lausanne (EPFL), Switzerland. Previously, he was Professor of Electrical Engineering at Stanford University. He was Director of the Electrical Engineering Institute at EPFL from 2008 to 2019 and program leader of the Swiss Federal Nano-Tera.ch program. He holds a Nuclear Engineer degree, a M.S. and a Ph.D. degree in Electrical Engineering and Computer Science under Alberto Sangiovanni-Vincentelli.

The International Conference on Computer-Aided Design (ICCAD) is a yearly conference about electronic design automation. From the start in 1982 until 2014 the conference was held in San Jose, California. It is sponsored by the IEEE Circuits and Systems Society, Computer-Aided Design Technical Committee (CANDE), the IEEE Council on Electronic Design Automation (CEDA), and SIGDA, and in cooperation with the IEEE Electron Devices Society and the IEEE Solid State Circuits Society.

Design, Automation & Test in Europe, or DATE is a yearly conference on the topic of electronic design automation. It is typically held in March or April of each year, alternating between France and Germany. It is sponsored by the SIGDA of the Association for Computing Machinery, the Electronic System Design Alliance, the European Design and Automation Association (EDAA), and the IEEE Council on Electronic Design Automation (CEDA). Technical co-sponsors include ACM SIGBED, the IEEE Solid-State Circuits Society (SSCS), IFIP, and the Institution of Engineering and Technology (IET).

SpecC is a System Description Language (SDL), or System-level Design Language (SLDL), and is an extension of the ANSI C programming language. It is used to aid the design and specification of digital embedded systems, providing improved productivity whilst retaining the ability to change a design at functional and specification level, unlike HDLs like Verilog and VHDL. An architectural model can be created which allows other tools to directly map the design onto silicon or FPGA. The main aim is for the reuse, exchange and integration of IP at various levels of abstraction.

High-level synthesis (HLS), sometimes referred to as C synthesis, electronic system-level (ESL) synthesis, algorithmic synthesis, or behavioral synthesis, is an automated design process that takes an abstract behavioral specification of a digital system and finds a register-transfer level structure that realizes the given behavior.

Nikil Dutt is a Chancellor's Professor of Computer Science at University of California, Irvine, United States. Professor Dutt's research interests are in embedded systems, electronic design automation, computer architecture, optimizing compilers, system specification techniques, distributed systems, and formal methods.

Mary Jane Irwin is an Emerita Evan Pugh Professor in the Department of Computer Science and Engineering at Pennsylvania State University. She has been on the faculty at Penn State since 1977. She is an international expert in computer architecture. Her research and teaching interests include computer architecture, embedded and mobile computing systems design, power and reliability aware design, and emerging technologies in computing systems.

<span class="mw-page-title-main">Massoud Pedram</span> Iranian American computer engineer

Massoud Pedram is an Iranian American computer engineer noted for his research in green computing, energy storage systems, low-power electronics and design, electronic design automation and quantum computing. In the early 1990s, Pedram pioneered an approach to designing VLSI circuits that considered physical effects during logic synthesis. He named this approach layout-driven logic synthesis, which was subsequently called physical synthesis and incorporated into the standard EDA design flows. Pedram's early work on this subject became a significant prior art reference in a litigation between Synopsys Inc. and Magma Design Automation.

Stephen "Steve" Trimberger is an American computer scientist, electrical engineer, philanthropist, and prolific inventor with 250 US utility patents as of August 26, 2021. He is a DARPA program manager of the microsystems technology office.

<span class="mw-page-title-main">Rob A. Rutenbar</span> American academic

Rob A. Rutenbar is an American academic noted for contributions to software tools that automate analog integrated circuit design, and custom hardware platforms for high-performance automatic speech recognition. He is Senior Vice Chancellor for Research at the University of Pittsburgh, where he leads the university's strategic and operational vision for research and innovation.

<span class="mw-page-title-main">Eby Friedman</span>

Eby G. Friedman is an electrical engineer, and Distinguished Professor of Electrical and Computer Engineering at the University of Rochester. Friedman is also a visiting professor at the Technion - Israel Institute of Technology. He is a Senior Fulbright Fellow and a Fellow of the IEEE.

<span class="mw-page-title-main">Prabhat Mishra</span> American computer scientist

Prabhat Mishra is a Professor in the Department of Computer and Information Science and Engineering and a UF Research Foundation Professor at the University of Florida. Prof. Mishra's research interests are in hardware security, quantum computing, embedded systems, system-on-chip validation, formal verification, and machine learning.

Sherief Reda is a computer scientist and engineer. He is currently a professor at the School of Engineering and Computer Science Department, Brown University, and a principal research scientist at Amazon Supply Chain Optimization Technology team. He has been elevated to a Fellow of the IEEE for his contributions to energy-efficient and approximate computing.

References

As of this edit, this article uses content from "Biography" , which is licensed in a way that permits reuse under the Creative Commons Attribution-ShareAlike 3.0 Unported License, but not under the GFDL. All relevant terms must be followed.

  1. UCI Faculty Profile for Dr. Daniel Gajski, retrieved 2010-04-07.
  2. Center for Embedded Computer Systems Staff Page Archived 2012-07-28 at archive.today , retrieved 2010-04-07.
  3. Daniel Gajski's UCI Web Page, retrieved 2010-04-07.
  4. IEEE - Fellows - G Archived 2012-11-20 at the Wayback Machine , IEEE. Accessed April 27, 2010. Election citation: for contributions to VLSI and system level design methodologies and CAD tools.
  5. EDAA January 2010 Press Release, retrieved 2001-04-07