Advanced AI Search Techniques in Modern Digital Circuit Synthesis

Fractional Calculus (FC) goes back to the beginning of the theory of differential calculus. Nevertheless, the application of FC just emerged in the last two decades, due to the progress in the area of chaos that revealed subtle relationships with the FC concepts. In the field of dynamical systems theory some work has been carried out but the proposed models and algorithms are still in a preliminary stage of establishment. Having these ideas in mind, the paper discusses FC in the study of system dynamics and control. In this perspective, this paper investigates the use of FC in the fields of controller tuning, legged robots, redundant robots, heat diffusion, and digital circuit synthesis.

Download Full-text

CASTOR: FSM Synthesis in a Digital Circuit Synthesis System

ESSCIRC '89: Proceedings of the 15th European Solid-State Circuits Conference ◽

10.1109/esscirc.1989.5468157 ◽

1989 ◽

Cited By ~ 1

Author(s):

R. Amann ◽

M. Neher ◽

G. Rietsche ◽

W. Rosenstiel ◽

D. Schmid

Keyword(s):

Digital Circuit ◽

Circuit Synthesis ◽

Synthesis System

Download Full-text

A platform for visualizing digital circuit synthesis with VHDL

Proceedings of the fifteenth annual conference on Innovation and technology in computer science education - ITiCSE '10 ◽

10.1145/1822090.1822173 ◽

2010 ◽

Cited By ~ 2

Author(s):

Abdulhadi Shoufan ◽

Zheng Lu ◽

Guido Rößling

Keyword(s):

Digital Circuit ◽

Circuit Synthesis

Download Full-text

General Decomposition and Its Use in Digital Circuit Synthesis

VLSI Design ◽

10.1155/1995/16259 ◽

1995 ◽

Vol 3 (3-4) ◽

pp. 225-248 ◽

Cited By ~ 24

Author(s):

Lech Jóźwiak

Keyword(s):

Design Methodology ◽

Digital Circuits ◽

Building Blocks ◽

Digital Circuit ◽

Structural Features ◽

Logic Design ◽

Circuit Synthesis ◽

Abstraction Level ◽

Microelectronic Technology ◽

Complex Circuits

Modem microelectronic technology.gives opportunities to build digital circuits of huge complexity and provides a wide diversity of logic building blocks. Although logic designers have been building circuits for many years, they have realized that advances in microelectronic technology are outstripping their abilities to make use of the created opportunities. In this paper, we present the fundamentals of a logic design methodology which meets the requirements of today's complex circuits and modem building blocks. The methodology is based on the theory of general full-decompositions which constitutes the theory of digital circuit structures at the highest abstraction level. The paper explains the theory and shows how it can be used for digital circuit synthesis. The decomposition methodology that is presented ensures “correctness by construction” and enables very effective and efficient post-factum validation. It makes possible extensive examination of the structural features of the required information processing in relation to a given set of objectives and constraints.

Download Full-text