scispace - formally typeset
Topic

Logic optimization

About: Logic optimization is a(n) research topic. Over the lifetime, 6791 publication(s) have been published within this topic receiving 138099 citation(s).

...read more

Papers
  More

Journal ArticleDOI: 10.1006/IJHC.1973.0303
E.H. Mamdani1, S. Assilian1Institutions (1)
Abstract: This paper describes an experiment on the “linguistic” synthesis of a controller for a model industrial plant (a steam engine). Fuzzy logic is used to convert heuristic control rules stated by a human operator into an automatic control strategy. The experiment was initiated to investigate the possibility of human interaction with a learning controller. However, the control strategy set up linguistically proved to be far better than expected in its own right, and the basic experiment of linguistic control synthesis in a non-learning controller is reported here.

...read more

Topics: Fuzzy logic (62%), Control theory (60%), Automatic control (60%) ...read more

5,932 Citations


Open accessBook
01 Jan 1994-
Abstract: From the Publisher: Synthesis and Optimization of Digital Circuits offers a modern, up-to-date look at computer-aided design (CAD) of very large-scale integration (VLSI) circuits. In particular, this book covers techniques for synthesis and optimization of digital circuits at the architectural and logic levels, i.e., the generation of performance-and/or area-optimal circuits representations from models in hardware description languages. The book provides a thorough explanation of synthesis and optimization algorithms accompanied by a sound mathematical formulation and a unified notation. The text covers the following topics: modern hardware description languages (e.g., VHDL, Verilog); architectural-level synthesis of data flow and control units, including algorithms for scheduling and resource binding; combinational logic optimization algorithms for two-level and multiple-level circuits; sequential logic optimization methods; and library binding techniques, including those applicable to FPGAs.

...read more

Topics: Register-transfer level (66%), Logic optimization (64%), Hardware description language (64%) ...read more

2,278 Citations


Journal ArticleDOI: 10.1145/130956.130958
01 May 1992-Sigact News
Abstract: Linear logic was introduced by Girard in 1987 [11] . Since then many results have supported Girard' s statement, \"Linear logic is a resource conscious logic,\" and related slogans . Increasingly, computer scientists have come to recognize linear logic as an expressive and powerful logic with connection s to a variety of topics in computer science . This column presents a.n intuitive overview of linear logic, some recent theoretical results, an d summarizes several applications of linear logic to computer science . Other introductions to linear logic may be found in [12, 361 .

...read more

Topics: Dynamic logic (modal logic) (83%), Substructural logic (82%), Logic family (82%) ...read more

2,199 Citations


Open accessJournal Article
Abstract: SIS is an interactive tool for synthesis and optimization of sequential circuits Given a state transition table, a signal transition graph, or a logic-level description of a sequential circuit, it produces an optimized net-list in the target technology while preserving the sequential input-output behavior Many different programs and algorithms have been integrated into SIS, allowing the user to choose among a variety of techniques at each stage of the process It is built on top of MISII [5] and includes all (combinational) optimization techniques therein as well as many enhancements SIS serves as both a framework within which various algorithms can be tested and compared, and as a tool for automatic synthesis and optimization of sequential circuits This paper provides an overview of SIS The first part contains descriptions of the input specification, STG (state transition graph) manipulation, new logic optimization and verification algorithms, ASTG (asynchronous signal transition graph) manipulation, and synthesis for PGA’s (programmable gate arrays) The second part contains a tutorial example illustrating the design process using SIS

...read more

1,842 Citations


Journal ArticleDOI: 10.1126/SCIENCE.1108813
09 Sep 2005-Science
Abstract: “Spintronics,” in which both the spin and charge of electrons are used for logic and memory operations, promises an alternate route to traditional semiconductor electronics. A complete logic architecture can be constructed, which uses planar magnetic wires that are less than a micrometer in width. Logical NOT, logical AND, signal fan-out, and signal cross-over elements each have a simple geometric design, and they can be integrated together into one circuit. An additional element for data input allows information to be written to domain-wall logic circuits.

...read more

Topics: Logic family (68%), Logic gate (67%), Pass transistor logic (66%) ...read more

1,809 Citations


Performance
Metrics
No. of papers in the topic in previous years
YearPapers
20219
202012
201912
201821
2017121
2016196

Top Attributes

Show by:

Topic's top 5 most impactful authors

Robert K. Brayton

66 papers, 5.6K citations

Alberto Sangiovanni-Vincentelli

51 papers, 4.1K citations

Alan Mishchenko

20 papers, 930 citations

Kaushik Roy

18 papers, 794 citations

Michitaka Kameyama

16 papers, 157 citations

Network Information
Related Topics (5)
Sequential logic

10.1K papers, 182.5K citations

92% related
Very-large-scale integration

20.4K papers, 311K citations

91% related
Logic synthesis

11.5K papers, 215.5K citations

91% related
System on a chip

11.3K papers, 147.3K citations

90% related
Logic family

7.9K papers, 143.3K citations

89% related