|
Phil Kaufman Award
The Phil Kaufman Award for Distinguished Contributions to EDA honors individuals for their impact on electronic design by their contributions to electronic design automation (EDA). It was established in 1994 by the EDA Consortium (now the Electronic System Design Alliance, a SEMI Technology Community). The IEEE Council on Electronic Design Automation (CEDA) became a co-sponsor of the award. The first Phil Kaufman Award was presented in 1994. The IEEE has a policy not to issue awards to deceased persons. To honor individuals who made a significant impact on EDA, but died before the award was established the Phil Kaufman Hall of Fame was created by the ESDA in 2020. The first Hall of Fame honor was presented in June 2021. Phil Kaufman awardees are included in the Phil Kaufman Hall of Fame. Contributions to qualify for the Phil Kaufman Award are evaluated in any of the following categories: * Business * Industry Direction and Promotion * Technology and Engineering * Educational an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Electronic Design
''Electronic Design'' magazine, founded in 1952, is an electronics and electrical engineering trade magazine and website. History Hayden Publishing Company began publishing the bi-weekly magazine Electronic Design in December 1952, and was later published by InformaUSA, Inc. In 1986, Verenigde Nederlandse Uitgeverijen, purchased Hayden Publishing Inc. In June 1988, Verenigde Nederlandse Uitgeverijen, purchased ''Electronic Design'' from McGraw-Hill. In July 1989, Penton Media, purchased ''Electronic Design'', then in Hasbrouck, N.J., from Verenigde Nederlandse Uitgeverijen. In July 2007, Penton Media's OEM electronics publication, ''EE Product News'', merged with Penton Media's "Electronic Design" magazine. ''EE Product News'' was founded in 1941, as a monthly publication. In September 2016, Informa, purchased Penton Media, including ''Electronic Design''. In November 2019, Endeavor Business Media purchased ''Electronic Design'' from Informa. Content Section ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Circuit Simulator
Electronic circuit simulation uses mathematical models to replicate the behavior of an actual electronic device or circuit. Simulation software allows for the modeling of circuit operation and is an invaluable analysis tool. Due to its highly accurate modeling capability, many colleges and universities use this type of software for the teaching of electronics technician and electronics engineering programs. Electronics simulation software engages its users by integrating them into the learning experience. These kinds of interactions actively engage learners to analyze, :wikt:synthesize, synthesize, organize, and evaluate content and result in learners constructing their own knowledge. Simulating a circuit’s behavior before actually building it can greatly improve design efficiency by making faulty designs known as such, and providing insight into the behavior of electronic circuit designs. In particular, for integrated circuits, the tooling (photomasks) is expensive, breadboa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Aart De Geus
Aart J. de Geus (born June 1954) is a co-founder and executive chair of Synopsys Inc., where he was CEO until January 2024. De Geus graduated with a master's degree in electrical engineering (1978) from the École Polytechnique Fédérale de Lausanne (Swiss Federal Institute of technology), EPFL, Switzerland followed by a Ph.D. from Southern Methodist University, Texas, United States, in 1985. De Geus was awarded an honorary Doctorate of Science degree from the University of Glasgow in 2022. De Geus is one of the original pioneers of electronic design automation (EDA), the software tools used in the semiconductor industry to design chips. De Geus was elected a member of the National Academy of Engineering in 2019 for leadership and technical contributions to logic synthesis for integrated circuits. He is also a fellow of IEEE and a Phil Kaufman Award winner, and he received the IEEE Robert N. Noyce Medal for his leadership in the technology and business development of EDA. H ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Espresso Heuristic Logic Minimizer
The ESPRESSO logic minimizer is a computer program using heuristic and specific algorithms for efficiently reducing the complexity of digital logic gate circuits. ESPRESSO-I was originally developed at IBM by Robert K. Brayton et al. in 1982. and improved as ESPRESSO-II in 1984. Richard L. Rudell later published the variant ESPRESSO-MV in 1986 and ESPRESSO-EXACT in 1987. Espresso has inspired many derivatives. Introduction Electronic devices are composed of numerous blocks of digital circuits, the combination of which performs some required task. The efficient implementation of logic functions in the form of logic gate circuits (such that no more logic gates are used than are necessary) is necessary to minimize production costs, and/or maximize a device's performance. Designing digital logic circuits All digital systems are composed of two elementary functions: memory elements for storing information, and combinational circuits that transform that information. State machines ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal Equivalence Checking
Formal equivalence checking process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. Equivalence checking and levels of abstraction In general, there is a wide range of possible definitions of functional equivalence covering comparisons between different levels of abstraction and varying granularity of timing details. *The most common approach is to consider the problem of machine equivalence which defines two synchronous design specifications functionally equivalent if, clock by clock, they produce ''exactly'' the same sequence of output signals for ''any'' valid sequence of input signals. *Microprocessor designers use equivalence checking to compare the functions specified for the instruction set architecture (ISA) with a register transfer level (RTL) implementation, ensuring that any program executed on bot ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal Verification
In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal verification is a key incentive for formal specification of systems, and is at the core of formal methods. It represents an important dimension of analysis and verification in electronic design automation and is one approach to software verification. The use of formal verification enables the highest Evaluation Assurance Level ( EAL7) in the framework of common criteria for computer security certification. Formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code in a programming language. Prominent examples of verified software systems include the CompCert verified C compiler and the seL ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logic Synthesis
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. History The roots of logic synthesis can be traced to the treatment of logic by George Boole (1815 to 1864), in what is now termed Boolean algebra. In 1938, Claude Shannon showed that the two-valued Boolean algebra can describe the operation of switching circuits. In the early d ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Robert K
The name Robert is an ancient Germanic given name, from Proto-Germanic "fame" and "bright" (''Hrōþiberhtaz''). Compare Old Dutch ''Robrecht'' and Old High German ''Hrodebert'' (a compound of '' Hruod'' () "fame, glory, honour, praise, renown, godlike" and '' berht'' "bright, light, shining"). It is the second most frequently used given name of ancient Germanic origin.Reaney & Wilson, 1997. ''Dictionary of English Surnames''. Oxford University Press. It is also in use as a surname. Another commonly used form of the name is Rupert. After becoming widely used in Continental Europe, the name entered England in its Old French form ''Robert'', where an Old English cognate form (''Hrēodbēorht'', ''Hrodberht'', ''Hrēodbēorð'', ''Hrœdbœrð'', ''Hrœdberð'', ''Hrōðberχtŕ'') had existed before the Norman Conquest. The feminine version is Roberta. The Italian, Portuguese, and Spanish form is Roberto. Robert is also a common name in many Germanic languages, including ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Technology CAD
Technology computer-aided design (technology CAD or TCAD) 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 (such as diffusion and ion implantation), 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" (such as the well known SPICE transistor 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. Introduction Technology files and design rules are essential building blocks of the integrated circuit design process. Their accuracy and robustness over pro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
SUPREM
Semiconductor process simulation is the modeling of the fabrication of semiconductor devices such as transistors. It is a branch of electronic design automation, and part of a sub-field known as technology CAD (TCAD). This summary was derived (with permission) from Vol I, Chapter 24, Process Simulation, by Mark Johnson. The ultimate goal of process simulation is an accurate prediction of the active dopant distribution, the stress distribution and the device geometry. Process simulation is typically used as an input for device simulation, the modeling of device electrical characteristics. Collectively process and device simulation form the core tools for the design phase known as technology computer aided design (TCAD). Considering the integrated circuit design process as a series of steps with decreasing levels of abstraction, logic synthesis would be at the highest level and TCAD, being closest to fabrication, would be the phase with the least amount of abstraction. Beca ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Robert Dutton (engineer)
Robert W. Dutton is an American electrical engineer. At Stanford University, he is the Robert and Barbara Kleist Professor of Electrical Engineering, Emeritus. Dutton also served as the undergraduate advisor for Stanford University Department of Electrical Engineering, succeeded by John M. Pauly. Dutton's research interests include the process of integrated circuits fabrication, and circuit and device design and technology. In 1991, Dutton was elected a member of the National Academy of Engineering for pioneering contributions to the development of computer-aided modeling of semiconductor devices and fabrication processes. Education Dutton attended University of California, Berkeley for his BS (1966), MS (1967), and PhD (1970). Dutton came to Stanford in 1971. Career Dutton's research combined fabricating requirements with material sensitivities. His team developed software to characterize the various permutations. The software resulting from Dutton's research; SUPREM, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Verilog
Verilog, standardized as IEEE 1364, is a hardware description language (HDL) used to model electronic systems. It is most commonly used in the design and verification of digital circuits, with the highest level of abstraction being at the register-transfer level. It is also used in the verification of analog circuits and mixed-signal circuits, as well as in the design of genetic circuits. In 2009, the Verilog standard (IEEE 1364-2005) was merged into the SystemVerilog standard, creating IEEE Standard 1800-2009. Since then, Verilog has been officially part of the SystemVerilog language. The current version is IEEE standard 1800-2023. Overview Hardware description languages such as Verilog are similar to software programming languages because they include ways of describing the propagation time and signal strengths (sensitivity). There are two types of assignment operators; a blocking assignment (=), and a non-blocking (>>. A generate–endgenerate construct (similar to V ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
