Sciweavers

    TCAD
    1998
    82views more  TCAD 1998»
    Structural methods for the synthesis of speed-independent circuits
    13 years 4 months ago
    Structural methods for the synthesis of speed-independent circuits
    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 ...
    Enric Pastor, Jordi Cortadella, Alex Kondratyev, O...
    claim paper
    Read More »
    TCAD
    2008
    97views more  TCAD 2008»
    Encoding Large Asynchronous Controllers With ILP Techniques
    13 years 4 months ago
    Encoding Large Asynchronous Controllers With ILP Techniques
    Download  www.lsi.upc.es
    State encoding is one of the most difficult problems in the synthesis of asynchronous controllers. This paper presents a method that can solve the problem of large controllers spec...
    Josep Carmona, Jordi Cortadella
    claim paper
    Read More »
    11
    Voted
    ACSD
    2003
    IEEE
    105views Hardware» more  ACSD 2003»
    Detecting State Coding Conflicts in STG Unfoldings Using SAT
    13 years 8 months ago
    Detecting State Coding Conflicts in STG Unfoldings Using SAT
    Download  www.cs.ncl.ac.uk
    Abstract. The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling...
    Victor Khomenko, Maciej Koutny, Alexandre Yakovlev
    claim paper
    Read More »
    ACSD
    2004
    IEEE
    113views Hardware» more  ACSD 2004»
    Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT
    13 years 8 months ago
    Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT
    Download  www.cs.ncl.ac.uk
    The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling edges of...
    Victor Khomenko, Maciej Koutny, Alexandre Yakovlev
    claim paper
    Read More »
    ACSD
    2007
    IEEE
    109views Hardware» more  ACSD 2007»
    Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings
    13 years 8 months ago
    Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings
    Download  www.cs.ncl.ac.uk
    Synthesis of asynchronous circuits from Signal Transition Graphs (STGs) involves resolution of state encoding conflicts by means of refining the STG specification. In this paper, ...
    Victor Khomenko
    claim paper
    Read More »
    ACSD
    2003
    IEEE
    91views Hardware» more  ACSD 2003»
    A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs
    13 years 10 months ago
    A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs
    Download  www.fmi.uni-stuttgart.de
    Signal Transition Graphs (STGs) are one of the most popular models for the specification of asynchronous circuits. A STG can be implemented if it admits a so-called consistent an...
    Javier Esparza
    claim paper
    Read More »
    ACSD
    2005
    IEEE
    90views Hardware» more  ACSD 2005»
    Improved Decomposition of STGs
    13 years 10 months ago
    Improved Decomposition of STGs
    Download  www.informatik.uni-augsburg.de
    Signal Transition Graphs (STGs) are a version of Petri nets for the specification of asynchronous circuit behaviour. It has been suggested to decompose such a specification as a...
    Walter Vogler, Ben Kangsah
    claim paper
    Read More »
    ACSD
    2007
    IEEE
    103views Hardware» more  ACSD 2007»
    Output-Determinacy and Asynchronous Circuit Synthesis
    13 years 11 months ago
    Output-Determinacy and Asynchronous Circuit Synthesis
    Download  homepages.cs.ncl.ac.uk
    Signal Transition Graphs (STG) are a formalism for the description of asynchronous circuit behaviour. In this paper we propose (and justify) a formal semantics of nondeterministic...
    Victor Khomenko, Mark Schäfer, Walter Vogler
    claim paper
    Read More »
    DAC
    2006
    ACM
    129views Computer Architecture» more  DAC 2006»
    State encoding of large asynchronous controllers
    14 years 5 months ago
    State encoding of large asynchronous controllers
    Download  www.lsi.upc.es
    A novel method to solve the state encoding problem in Signal Transition Graphs is presented. It is based on the structural theory of Petri nets and can be applied to large specifi...
    Josep Carmona, Jordi Cortadella
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.