Results 1  10
of
404
SIS: A System for Sequential Circuit Synthesis
, 1992
"... SIS is an interactive tool for synthesis and optimization of sequential circuits. Given a state transition table, a signal transition graph, or a logiclevel description of a sequential circuit, it produces an optimized netlist in the target technology while preserving the sequential inputoutput b ..."
Abstract

Cited by 527 (44 self)
 Add to MetaCart
, 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.
Asynchronous Design Methodologies: An Overview
 PROCEEDINGS OF THE IEEE
, 1995
"... Asynchronous design has been an active area of research since at least the mid 1950's, but has yet to achieve widespread use. We examine the benefits and problems inherent in asynchronous computations, and in some of the more notable design methodologies. These include Huffman asynchronous c ..."
Abstract

Cited by 207 (0 self)
 Add to MetaCart
circuits, burstmode circuits, micropipelines, templatebased and trace theorybased delayinsensitive circuits, signal transition graphs, change diagrams, and compilationbased quasidelayinsensitive circuits.
A Unified Signal Transition Graph Model for Asynchronous Control Circuit Synthesis
 INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN
, 1992
"... Characterization of the behavior of an asynchronous system depending on the delay of components and wires is a major task facing designers. Some of these delays are outside the designer's control, and in practice may have to be assumed unbounded. The existing literature offers a number of analy ..."
Abstract

Cited by 32 (7 self)
 Add to MetaCart
Characterization of the behavior of an asynchronous system depending on the delay of components and wires is a major task facing designers. Some of these delays are outside the designer's control, and in practice may have to be assumed unbounded. The existing literature offers a number
Area Reduction in Asynchronous Circuits by Signal Transition Graph Transformations
"... Many asynchronous synthesis techniques utilize Signal Transition Graphs (STGs) as the initial circuit specification. In this paper, graph transformations that are applied to deterministic STGs are presented. Modifications of the graph concurrency achieve reduction in the resulting circuit area. The ..."
Abstract
 Add to MetaCart
Many asynchronous synthesis techniques utilize Signal Transition Graphs (STGs) as the initial circuit specification. In this paper, graph transformations that are applied to deterministic STGs are presented. Modifications of the graph concurrency achieve reduction in the resulting circuit area
Geometric diffusions as a tool for harmonic analysis and structure definition of data: Diffusion maps
 Proceedings of the National Academy of Sciences
, 2005
"... of contexts of data analysis, such as spectral graph theory, manifold learning, nonlinear principal components and kernel methods. We augment these approaches by showing that the diffusion distance is a key intrinsic geometric quantity linking spectral theory of the Markov process, Laplace operators ..."
Abstract

Cited by 257 (45 self)
 Add to MetaCart
organization of graphs and subsets of Rn. We use diffusion semigroups to generate multiscale geometries in order to organize and represent complex structures. We show that appropriately selected eigenfunctions or scaling functions of Markov matrices, which describe local transitions, lead to macroscopic
Petrify: a tool for manipulating concurrent specifications and . . .
"... Petrify is a tool for (1) manipulating concurrent specifications and (2) synthesis and optimization of asynchronous control circuits. Given a Petri Net (PN), a Signal Transition Graph (STG), or a Transition System (TS) 1 it (1) generates another PN or STG which is simpler than the original descripti ..."
Abstract

Cited by 219 (34 self)
 Add to MetaCart
Petrify is a tool for (1) manipulating concurrent specifications and (2) synthesis and optimization of asynchronous control circuits. Given a Petri Net (PN), a Signal Transition Graph (STG), or a Transition System (TS) 1 it (1) generates another PN or STG which is simpler than the original
Signal Transition Graph Constraints for Synthesis of . . .
, 1993
"... A synthesis procedure for asynchronous control circuits from a high level specification, signal transition graph (STG), is described. In this paper, we propose some syntactic constraints on STG to guarantee hazardfree implementation. We have ..."
Abstract
 Add to MetaCart
A synthesis procedure for asynchronous control circuits from a high level specification, signal transition graph (STG), is described. In this paper, we propose some syntactic constraints on STG to guarantee hazardfree implementation. We have
Symbolic Model Checking with Partitioned Transition Relations
, 1991
"... We significantly reduce the complexity of BDDbased symbolic verification by using partitioned transition relations to represent state transition graphs. This method can be applied to both synchronous and asynchronous circuits. The times necessary to verify a synchronous pipeline and an asynchronous ..."
Abstract

Cited by 181 (17 self)
 Add to MetaCart
We significantly reduce the complexity of BDDbased symbolic verification by using partitioned transition relations to represent state transition graphs. This method can be applied to both synchronous and asynchronous circuits. The times necessary to verify a synchronous pipeline
Synthesis and Testing of Bounded Wire Delay Asynchronous Circuits from Signal Transition Graphs
, 1992
"... Synthesis and Testing of Bounded Wire Delay Asynchronous Circuits from Signal Transition Graphs by Luciano Lavagno Doctor of Philosophy in Electrical Engineering and Computer Sciences University of California at Berkeley Professor Alberto SangiovanniVincentelli, Chair The design of asynchronous ci ..."
Abstract

Cited by 23 (1 self)
 Add to MetaCart
Synthesis and Testing of Bounded Wire Delay Asynchronous Circuits from Signal Transition Graphs by Luciano Lavagno Doctor of Philosophy in Electrical Engineering and Computer Sciences University of California at Berkeley Professor Alberto SangiovanniVincentelli, Chair The design of asynchronous
DESI: a Tool for Decomposing Signal Transition Graphs
"... Signal Transition Graphs (STGs) are a version of Petri nets for the specification of asynchronous circuit behaviour. As a first step in the indirect synthesis of a circuit corresponding to a given STG N, one usually constructs the ..."
Abstract
 Add to MetaCart
Signal Transition Graphs (STGs) are a version of Petri nets for the specification of asynchronous circuit behaviour. As a first step in the indirect synthesis of a circuit corresponding to a given STG N, one usually constructs the
Results 1  10
of
404