Proceedings of the IEEE

Issue 11 • Nov. 2015

Filter Results

Displaying Results 1 - 25 of 26
  • Front cover

    Publication Year: 2015, Page(s): C1
    Request permission for commercial reuse | |PDF file iconPDF (576 KB)
    Freely Available from IEEE
  • Proceedings of the IEEE publication information

    Publication Year: 2015, Page(s): C2
    Request permission for commercial reuse | |PDF file iconPDF (49 KB)
    Freely Available from IEEE
  • Design Automation of Electronic Systems: Past Accomplishments and Challenges Ahead

    Publication Year: 2015, Page(s):1941 - 1943
    Request permission for commercial reuse | |PDF file iconPDF (188 KB)
    Freely Available from IEEE
  • Editorial

    Publication Year: 2015, Page(s):1944 - 1947
    Request permission for commercial reuse | |PDF file iconPDF (209 KB)
    Freely Available from IEEE
  • The Aftermath of the Missing Flight MH370: What Can Engineers Do? [Point of View]

    Publication Year: 2015, Page(s):1948 - 1951
    Request permission for commercial reuse | |PDF file iconPDF (190 KB)
    Freely Available from IEEE
  • Design Automation of Electronic Systems: Past Accomplishments and Challenges Ahead [Scanning the Issue]

    Publication Year: 2015, Page(s):1952 - 1957
    Request permission for commercial reuse | |PDF file iconPDF (174 KB)
    Freely Available from IEEE
  • Boolean Computation Using Self-Sustaining Nonlinear Oscillators

    Publication Year: 2015, Page(s):1958 - 1969
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (11512 KB) | HTML iconHTML

    Self-sustaining nonlinear oscillators of practically any type can function as latches and registers if Boolean logic states are represented physically as the phase of oscillatory signals. Combinational operations on such phase-encoded logic signals can be implemented using arithmetic negation and addition followed by amplitude limiting. With these, general-purpose Boolean computation using a wide ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Toeplitz-Plus-Hankel Matrix Recovery for Green’s Function Computations on General Substrates

    Publication Year: 2015, Page(s):1970 - 1984
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (1475 KB) | HTML iconHTML

    Rapidly diversifying technology and declining computational costs are popularizing technologically flexible simulation and verification techniques, even at some cost in performance. This paper investigates a data-driven, sampling-based approach for computing substrate Green's functions, which is more technology flexible than specialized layered media methods, at the cost of speed and accuracy. Our... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Progress and Challenges in VLSI Placement Research

    Publication Year: 2015, Page(s):1985 - 2003
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (4310 KB) | HTML iconHTML

    Given the significance of placement in integrated circuit (IC) physical design, extensive research studies performed over the last 50 years addressed numerous aspects of global and detailed placement. The objectives and the constraints dominant in placement have been revised many times over, and continue to evolve. Additionally, the increasing scale of placement instances affects the algorithms of... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Technology-Dependent Logic Optimization

    Publication Year: 2015, Page(s):2004 - 2020
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (1190 KB)

    In modern design flows, technology-dependent logic optimizations consist of technology mapping and transformations applied after mapping. Advances have been made in technology mapping in the last decade. However, it is inherently an intractable problem and state-of-the-art algorithms produce suboptimal netlists in terms of area and timing. Also, during the design flow, when physical information be... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Boolean Satisfiability Solvers and Their Applications in Model Checking

    Publication Year: 2015, Page(s):2021 - 2035
    Cited by:  Papers (11)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (437 KB) | HTML iconHTML

    Boolean satisfiability (SAT)-the problem of determining whether there exists an assignment satisfying a given Boolean formula-is a fundamental intractable problem in computer science. SAT has many applications in electronic design automation (EDA), notably in synthesis and verification. Consequently, SAT has received much attention from the EDA community, who developed algorithms that have had a s... View full abstract»

    Open Access
  • Combining Induction, Deduction, and Structure for Verification and Synthesis

    Publication Year: 2015, Page(s):2036 - 2051
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (1026 KB) | HTML iconHTML

    Even with impressive advances in formal methods, certain major challenges remain. Chief among these are environment modeling, incompleteness in specifications, and the hardness of underlying decision problems. In this paper, we characterize two trends that show great promise in meeting these challenges. The first trend is to perform verification by reduction to synthesis. The second is to solve th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Toward Unification of Synthesis and Verification in Topologically Constrained Logic Design

    Publication Year: 2015, Page(s):2052 - 2060
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (1661 KB) | HTML iconHTML

    In logic synthesis, the search space is infinite in the sense that any number of gates can be connected using any topology to come up with the best circuit under performance and other constraints. In formal verification, to achieve full coverage, an n-input circuit must be checked either explicitly or implicitly using the complete set of 2n input values. There are, however, situations w... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • RTL Synthesis: From Logic Synthesis to Automatic Pipelining

    Publication Year: 2015, Page(s):2061 - 2075
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (1387 KB) | HTML iconHTML

    Design automation has been one of the main propellers of the semiconductor industry with logic synthesis being one of the core technologies in this field. This article reviews the evolution of logic synthesis until the advent of techniques for automatic pipelining based on elastic timing, either synchronous or asynchronous. The emergence of these techniques can enable a productive interaction with... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Application of a Key–Value Paradigm to Logic Factoring

    Publication Year: 2015, Page(s):2076 - 2092
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (2871 KB) | HTML iconHTML

    Over three decades ago an algebraic factoring algorithm was created as part of active logic synthesis efforts in the semiconductor industry. It initiated logic synthesis successes and steered synthesis in the direction of practical design tools: they can now take a design from its initial state to the final chip that meets a complex set of constraints. The evolved computing platforms today stimula... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • System Design Automation: Challenges and Limitations

    Publication Year: 2015, Page(s):2093 - 2103
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (355 KB) | HTML iconHTML

    Electronic design automation (EDA) has enabled the integrated circuit industry to sustain exponentially increasing product complexity growth until today, while maintaining consistent product development timeline and costs. We argue that the success of EDA-based design relies on the application of four interrelated principles: 1) separation of concerns implying a decomposition of a design flow into... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems

    Publication Year: 2015, Page(s):2104 - 2132
    Cited by:  Papers (15)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (896 KB) | HTML iconHTML

    We introduce a platform-based design methodology that uses contracts to specify and abstract the components of a cyber-physical system (CPS), and provide formal support to the entire CPS design flow. The design is carried out as a sequence of refinement steps from a high-level specification to an implementation built out of a library of components at the lower level. We review formalisms and tools... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • From Latency-Insensitive Design to Communication-Based System-Level Design

    Publication Year: 2015, Page(s):2133 - 2151
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (1850 KB) | HTML iconHTML

    By the end of the 20th century, the continuous progress of the semiconductor industry brought a major transformation in the design of integrated circuits: as the speed of global wires could not keep up with the speed of ever-smaller transistors, the digital chip became a distributed system. This fact broke the synchronous paradigm assumption, i.e., the foundation of those computer-aided design (CA... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Component-Based Design by Solving Language Equations

    Publication Year: 2015, Page(s):2152 - 2167
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (378 KB) | HTML iconHTML

    An important step in the design of a complex system is its decomposition into a number of interacting components, of which some are given (known) and some need to be synthesized (unknown). Then a basic task in the design flow is to synthesize an unknown component that when combined with the known part of the system (the context) satisfies a given specification. This problem arises in several appli... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • New Logic Synthesis as Nanotechnology Enabler

    Publication Year: 2015, Page(s):2168 - 2195
    Cited by:  Papers (19)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (4509 KB) | HTML iconHTML

    Nanoelectronics comprises a variety of devices whose electrical properties are more complex as compared to CMOS, thus enabling new computational paradigms. The potentially large space for innovation has to be explored in the search for technologies that can support large-scale and high-performance circuit design. Within this space, we analyze a set of emerging technologies characterized by a simil... View full abstract»

    Open Access
  • A Framework for Genetic Logic Synthesis

    Publication Year: 2015, Page(s):2196 - 2207
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (1218 KB) | HTML iconHTML

    Digital electronic circuits have inspired synthetic biologists to program living cells with synthetic decision-making circuits by creating multilevel genetic logic gates. In both genetic and electronic circuits, logic synthesis translates an abstract functional description into a representation that can be physically implemented. However, inherent differences in genetic logic devices present new s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Wiener's Cybernetics Legacy and the Growing Need for the Interdisciplinary Approach [Scanning Our Past]

    Publication Year: 2015, Page(s):2208 - 2214
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (272 KB)

    Presents the work of Norbert Wiener and explores his cybernetics legacy as well as his strong support for interdisciplinary research. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Future Special Issues/Special Sections of the Proceedings

    Publication Year: 2015, Page(s): 2215
    Request permission for commercial reuse | |PDF file iconPDF (72 KB)
    Freely Available from IEEE
  • Introducing IEEE Collabratec

    Publication Year: 2015, Page(s): 2216
    Request permission for commercial reuse | |PDF file iconPDF (1925 KB)
    Freely Available from IEEE
  • IEEE Global History Network [advertisement]

    Publication Year: 2015, Page(s): C3
    Request permission for commercial reuse | |PDF file iconPDF (242 KB)
    Freely Available from IEEE

Aims & Scope

The most highly-cited general interest journal in electrical engineering and computer science, the Proceedings is the best way to stay informed on an exemplary range of topics.

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
H. Joel Trussell
North Carolina State University