Structural methods for the synthesis of speed-independent circuits

13 years 4 months ago

Download www.cecs.uci.edu

Most existing tools for the synthesisof asynchronouscircuits from Signal Transition Graphs (STGs) derive the reachability graph for the calculation of logic equations. This paper presents novel methods exclusively based on the structural analysis of the underlying Petri net. This methodology can be applied to any STG that can be covered by State Machines and, in particular, to all live and safe free-choice STGs. Signiﬁcant improvements with regard to existing structural methods are provided. The new techniques have been implemented in an experimentaltool that has been able to synthesizespeciﬁcationswith over1027 markings,some of them being non-free choice.

Enric Pastor, Jordi Cortadella, Alex Kondratyev, O

Real-time Traffic

Most Existing Tools | Reachability Graph | Signal Transition Graphs | TCAD 1998 |

claim paper

» Avoiding Hazards for SpeedIndependent Logic Design

» A structural encoding technique for the synthesis of asynchronous circuits

» LOT Logic Optimization with Testability New transformations for logic synthesis

» Iterative layering Optimizing arithmetic circuits by structuring the information flow

» Synthesis of Asynchronous Hardware from Petri Nets

» Partial order based approach to synthesis of speedindependent circuits

» Regularity extraction via clanbased structural circuit decomposition

» LOT logic optimization with testabilitynew transformations using recursive learning

Post Info
More Details (n/a)

Added	23 Dec 2010
Updated	23 Dec 2010
Type	Journal
Year	1998
Where	TCAD
Authors	Enric Pastor, Jordi Cortadella, Alex Kondratyev, Oriol Roig

Comments (0)

Sciweavers

Structural methods for the synthesis of speed-independent circuits

Most Existing Tools | Reachability Graph | Signal Transition Graphs | TCAD 1998 |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers