Sciweavers

65
Voted
ACSD
2003
IEEE
91views Hardware» more  ACSD 2003»
15 years 2 months ago
A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs
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