Signal transition graphs explained

Signal Transition Graphs (STGs) are typically used in electronic engineering and computer engineering to describe dynamic behaviour of asynchronous circuits, for the purposes of their analysis or synthesis.

Main definitions and applications

Informally, an STG is a graphical description of the behaviour of an asynchronous circuit in the form where information about causal relations between signalling events is represented directly, as opposed to descriptions based on states. In that way, STGs help to formalise the description of a circuit typically represented by timing diagrams, sometimes also called waveforms. The latter are widely used by electronic engineers.

More formally, an STG is a type of an interpreted (or labelled) Petri net whose transitions are labelled with the names of changes in the values of signals (cf. signal transitions). For example, the typical case of the labelling is the case where signals are binary, hence the transition are interpreted as rising and falling edges of the signals in the circuit.

STGs usually give more compact descriptions of the behaviour of asynchronous circuits than state graphs. The complexity of an STG specification of a circuit is typically linear in the number of signals in the circuit while the complexity of a state graph can grow exponentially, due to the fact that asynchronous circuits have high degree of concurrency. In STGs concurrent events are represented via cause-sequence relations (cf. true concurrency) while in state graphs concurrency is represented via interleaving.

STGs were first proposed in 1981, under the name Signal Graphs, by Leonid Rosenblum (in Russian) in.[1] They were studied more formally and applied to the design of asynchronous interfaces by Alex Yakovlev in 1982, in his PhD thesis [2] (in Russian). They were later presented in English in 1985, in two independent sources, one by Rosenblum and Yakovlev in[3] and the other by Tam-Anh Chu in [4] (an earlier version was presented at ICCD'85). Since then, STGs have been studied extensively in theory and practice,[5] [6] [7] [8] [9] [10] [11] which has led to the development of popular software tools for analysis and synthesis of asynchronous control circuits, such as Petrify[12] (chief developer: Jordi Cortadella) and Workcraft (a toolkit from Newcastle University).[13]

Amongst the various examples of using STGs in designing asynchronous circuits, the most well known are those in the domain of asynchronous interfaces, controllers, arbiters and analog-mixed signal circuits, cf.,[14] [15] [16] [17] [18] most recently STGs have been extended to model causal behaviour involving causality mediated by capacitive coupling, such as those used in switched capacitor converters (SCCs).[19] [20]

Extensions and Related Models

Besides STGs, based on binary signals, there are also Symbolic STGs,[21] where signals can be multi-valued.

STGs with timing (delays) information annotation were first introduced in, and later in,[22] where ideas of analysis of behaviour of circuits with timing constraints,[23] later called Relative Timing,[24] were also first introduced.

Special extensions of the basic underlying Petri net models, to capture asynchrony and interrupts in a compact form, were introduced in Place Chart Nets.[25] An important connection between state-based models of asynchronous circuits and Petri net-based models (inc. STGs) has been established in[26] using Theory of Regions (cf.[27]). Theory of regions was used to derive an STG model and its circuit implementation in[28] for Counterflow Pipeline Processor due to Robert Sproull, Ivan Sutherland and Charles Molnar.[29]

One of the models closely related to STGs is Change Diagrams, proposed by Michael Kishinevsky, Alex Kondratyev, Alexander Taubin and Victor Varshavsky in.[30] Change Diagrams have the advantages of being able to model both AND and OR causality in a compact way. But they lack descriptive power in terms of choice. The comparison between Petri nets and change diagrams in terms of their descriptive power and their unification in the form of Causal Logic Nets has been presented in.[31]

Links with Hardware Description Languages

STGs have been interfaced with various HDLs, see for example links with VHDL[32] (1996) and Verilog (2000) with the aim to support asynchronous design. Placed into the synthesis flow from VHDL, STGs and Petri nets have been shown instrumental,[33] and likewise with Verilog,[34] where a tool VERISYN was developed.[35]

More recently STGs have been connected with notations that are believed to be easier for practical hardware designers, hence the emergence of the model of waveform-transition graphs (WTG).[36] Likewise, realising that the model of finite state machine (FSM) can be easier for designers to handle than, for example, Petri nets or STGs, a link with Burst Mode FSMs[37] as a front-end has been developed.[38]

Analysis Methods

At the moment, arguably the most efficient methods for analysis and synthesis of asynchronous circuits are based on Petri net unfoldings - they were studied by Victor Khomenko in his PhD thesis.[39] They are implemented under Workcraft.

Performance analysis of certain subclasses of Petri net models of asynchronous circuits has been investigated by Aiguo Xie and Peter Beerel in.[40]

Asynchronous Circuit Synthesis

Various problems in the synthesis of asynchronous circuits from STG specification have been investigated. One of the ways for their classification is based on the analysis approaches used to represent the state space of the STG specification, such as explicit state spaces, unfolding of the underlying Petri net, structural analysis of Petri nets and direct mapping (syntax-direct translation) of STGs. These approaches are usually linked with the complexity of the algorithms of synthesis and, hence, run-time of the tools. On the other hand, some of these techniques impose certain constraints on the class of the Petri nets. For example, explicit state space based methods typically work for an arbitrary Petri net type, whereas some structural methods require that the underlying Petri net is a marked graph or a free-choice net.

Complete State Coding problem

One of the key well-known problems in the synthesis of circuit implementations is that of complete state coding (CSC). To tackle this problem various methods have been developed.[41] [42] A particularly original way to analyse for CSC satisfaction is based on the notion of coupledness relation or, equivalently, lock relation, developed independently by Alex Yakovlev and Peter Vanbekbergen.[43] [44] Another method exploited theory of regions which connects elements of Petri nets with regions of states in state graphs.[45]

Synthesis methods for CSC detection and resolution based on partial orders and Petri net unfoldings have been developed by Alex Semenov[46] [47] and Victor Khomenko.[48] These methods have helped to formalise and implement a method for effective visualization of CSC problems based on CSC cores,[49] implemented in Workcraft.

Structural encoding methods for STG-based synthesis have been developed by Josep Carmona.[50]

Synthesis in restricted logic bases

An important problem in synthesis of speed-independent (or equivalently quasi-Delay-Insensitive - QDI) circuits is synthesis within a restricted logical basis, for example, using ONLY restricted basis logic gates such as AND and OR - see, for example, the work of Alex Yakovlev,[51] where the condition of E(excitation)-persistency was introduced to ensure hazard-freedom in the implementation consisting of two-level Sum-of-Products (SOP) logic for excitation functions and SR-latches for the main output signals of a given STG specification. Later, the work Alex Kondratyev et al [52] generalised this condition in the notion of monotonic cover, which found its realisation in software tools. More challenging is the problem of synthesis in negative gate bases, NAND and NOR. Several methods have been developed for that, mostly led by Nikolay Starodoubtsev.[53] [54]

Decomposition of STGs for synthesis

The problem of scalability of synthesis for large size STGs, and needs to alleviate state space explosion have been tackled in methods based on contraction of STGs with respect to structural properties of the underlying Petri net - such as ways of partitioning a free-choice Petri net into state machines or marked graphs - as well as fan-in signal subsets (trigger events for a signal).[55]

Another approach to deal with scalability is via a direct mapping of STGs to asynchronous circuits that has been investigated by Danil Sokolov.[56]

Synthesis from STGs with arbitration

A particularly challenging problem is to automatically synthesise asynchronous circuits for arbiters, as their STG specification would contain behavioural conflicts in their underlying Petri nets. Behavioural conflicts imply existence of transitions that are non-persistent. For usual, logic based implementation of such STGs, the circuit would be prone to hazards. Special techniques such as semi-automated insertion of mutex signal transitions, preserving the original specification, have been developed[57] [58] and implemented in Workcraft.[59]

References

  1. Л. Я. Розенблюм. Язык сигнальных графов и его использование для моделирования протоколов информационного обмена и апериодических схем. Всесоюзный семинар Моделирование дискретных управляющих и вычислительных систем, стр. 22-24, 1981.
  2. Web site: Yakovlev. Alex. Design and Implementation of Asynchronous Communication Protocols in Systems Interfaces" (Проектирование и реализация протоколов асинхронного обмена информацией в межмодульном интерфейсе), PhD thesis (in Russian), 1982.
  3. Rosenblum, L.Ya. . Yakovlev, A.V . Signal Graphs: from Self-timed to Timed ones. Proceedings of International Workshop on Timed Petri Nets, Torino, Italy, July 1985, IEEE CS Press, Pp. 199-207..
  4. Chu, T.-A.. 1986-06-01. On the models for designing VLSI asynchronous digital systems. Integration. en. 4. 2. 99–113. 10.1016/S0167-9260(86)80002-5. 0167-9260.
  5. Synthesis of self-timed VLSI circuits from graph-theoretic specifications. Massachusetts Institute of Technology. 1987. Thesis. Tam-Anh. Chu. 1721.1/14794 .
  6. Book: Yakovlev, A.V.. Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors . On limitations and extensions of STG model for designing asynchronous control circuits . 1992. https://ieeexplore.ieee.org/document/276300. Cambridge, MA, USA. IEEE Comput. Soc. Press. 396–400. 10.1109/ICCD.1992.276300. 978-0-8186-3110-8. 47325879 .
  7. Book: Yakovlev. Alex. Kishinevsky. Michael. Kondratyev. Alex. Lavagno. Luciano. Application and Theory of Petri Nets 1994 . OR causality: Modelling and hardware implementation . 1994. Valette. Robert. https://link.springer.com/chapter/10.1007/3-540-58152-9_31. Lecture Notes in Computer Science. 815 . en. Berlin, Heidelberg. Springer. 568–587. 10.1007/3-540-58152-9_31. 978-3-540-48462-2.
  8. Yakovlev. A.V.. Koelmans. A.M.. Lavagno. L. . High-level modeling and design of asynchronous interface logic (21/1995). IEEE Design & Test of Computers. 1995 . 12. 1. 32–40. 10.1109/54.350688.
  9. Yakovlev. Alexandre. Lavagno. Luciano. Sangiovanni-Vincentelli. Alberto. November 1996. A unified signal transition graph model for asynchronous control circuit synthesis. Formal Methods in System Design. en. 9. 3. 139–188. 10.1007/BF00122081. 264205433 . 0925-9856.
  10. Book: Cortadella. J.. Jordi Cortadella. Logic Synthesis for Asynchronous Controllers and Interfaces. Kishinevsky. M.. Kondratyev. A.. Lavagno. L.. Yakovlev. A.. 2002. Springer Berlin Heidelberg. 978-3-642-62776-7. Springer Series in Advanced Microelectronics. 8. Berlin, Heidelberg. en. 10.1007/978-3-642-55989-1.
  11. Book: Lavagno. Luciano. Sangiovanni-Vincentelli. Alberto. 1993. Algorithms for Synthesis and Testing of Asynchronous Circuits. en-gb. 10.1007/978-1-4615-3212-5. 978-1-4613-6410-8 .
  12. Web site: Petrify: Related publications.
  13. Web site: Workcraft.
  14. Web site: Yakovlev. Alex. Designing arbiters using Petri nets. Proceedings of the 1995 Israel Workshop on Asynchronous VLSI, Nof Genossar, Israel, March 1995, VLSI Systems Research Center, Technion, Haifa, Israel, pp. 178-201.
  15. 1996-12-01. Modelling, analysis and synthesis of asynchronous control circuits using Petri nets. Integration. en. 21. 3. 143–170. 10.1016/S0167-9260(96)00010-7. 0167-9260. Yakovlev . A.V. . Koelmans . A.M. . Semenov . A. . Kinniment . D.J. .
  16. Yakovlev. A.. Furber. S.. Krenz. R.. Bystrov. A.. July 2004. Design and analysis of a self-timed duplex communication system. IEEE Transactions on Computers. 53. 7. 798–814. 10.1109/TC.2004.26. 27216794 . 1557-9956.
  17. Sokolov. Danil. Khomenko. Victor. Mokhov. Andrey. Dubikhin. Vladimir. Lloyd. David. Yakovlev. Alex. May 2020. Automating the Design of Asynchronous Logic Control for AMS Electronics. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 39. 5. 952–965. 10.1109/TCAD.2019.2907905. 133188921 . 1937-4151.
  18. Book: Golubcovs. Stanislavs. Mokhov. Andrey. Bystrov. Alex. Sokolov. Danil. Yakovlev. Alex. 2019 19th International Conference on Application of Concurrency to System Design (ACSD) . Generalised Asynchronous Arbiter . June 2019. https://ieeexplore.ieee.org/document/8843647. 3–12. 10.1109/ACSD.2019.00005. 978-1-7281-3843-5 . 148566115 .
  19. Web site: Mileiko. Sergey. 2020. Power-compute co-design for robust pervasive IoT applications, PhD Thesis, Newcastle University..
  20. Web site: Li. Danhui. 2021. Analysis and Design of Switched-Capacitor DC-DC Converters with Discrete Event Models, PhD Thesis, Newcastle University.
  21. Web site: A. Yakovlev and A. Petrov and L. Rosenblum. 1993. Synthesis of Asynchronous Control Circuits from Symbolic Signal Transition Graphs, Asynchronous Design Methodologies, 1993.
  22. Book: Vanbekbergen. P.. Goossens. G.. De Man. H.. [1992] Proceedings the European Conference on Design Automation . Specification and analysis of timing constraints in signal transition graphs . 1992. https://ieeexplore.ieee.org/document/205943. Brussels, Belgium. IEEE Comput. Soc. Press. 302–306. 10.1109/EDAC.1992.205943. 978-0-8186-2645-6. 61935560 .
  23. Book: Cortadella. Jordi. Jordi Cortadella. Kishinevsky. Michael. Kondratyev. Alex. Lavagno. Luciano. Taubin. Alexander. Yakovlev. Alex. Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design - ICCAD '98 . Lazy transition systems . 1998. http://portal.acm.org/citation.cfm?doid=288548.288633. en. San Jose, California, United States. ACM Press. 324–331. 10.1145/288548.288633. 978-1-58113-008-9. 2117/133832. 12302564 . free.
  24. Book: Stevens. K.. Ginosar. R.. Rotem. S.. Proceedings. Fifth International Symposium on Advanced Research in Asynchronous Circuits and Systems . Relative timing . 1999. https://ieeexplore.ieee.org/document/761535. Barcelona, Spain. IEEE Comput. Soc. 208–218. 10.1109/ASYNC.1999.761535. 978-0-7695-0031-7. 195352018 .
  25. Book: Kishinevsky. Michael. Cortadella. Jordi. Jordi Cortadella. Kondratyev. Alex. Lavagno. Luciano. Taubin. Alexander. Yakovlev. Alex. Application and Theory of Petri Nets 1997 . Coupling asynchrony and interrupts: Place Chart Nets . 1997. Azéma. Pierre. Balbo. Gianfranco. https://link.springer.com/chapter/10.1007/3-540-63139-9_44. Lecture Notes in Computer Science. 1248 . en. Berlin, Heidelberg. Springer. 328–347. 10.1007/3-540-63139-9_44. 978-3-540-69187-7.
  26. Cortadella. J.. Jordi Cortadella. Kishinevsky. M.. Lavagno. L.. Yakovlev. A.. August 1998. Deriving Petri nets from finite transition systems. IEEE Transactions on Computers. 47. 8. 859–882. 10.1109/12.707587. 2117/125784. 2128502 . free.
  27. Book: Badouel. Eric . Theory of regions. 1998. Lectures on Petri Nets I: Basic Models . 529–586. Reisig. Wolfgang. Lecture Notes in Computer Science. Berlin, Heidelberg. Springer. en. 10.1007/3-540-65306-6_22. 978-3-540-49442-3 . Darondeau. Philippe . Rozenberg. Grzegorz.
  28. Yakovlev. Alexandre. 1998-01-01. Designing Control Logic for Counterflow Pipeline Processor Using Petri Nets. Formal Methods in System Design. en. 12. 1. 39–71. 10.1023/A:1008649930696. 14497213 . 1572-8102.
  29. Sproull. R.F.. Sutherland. I.E.. Molnar. C.E.. Autumn 1994. The counterflow pipeline processor architecture. IEEE Design & Test of Computers. 11. 3. 48–. 10.1109/MDT.1994.303847. 26434994 . 1558-1918.
  30. Book: Concurrent hardware: the theory and practice of self-timed design. 1994. Wiley. M. A. Kishinevskiĭ. 0-471-93536-0. Chichester. 28889359.
  31. Yakovlev. Alexandre. Kishinevsky. Michael. Kondratyev. Alex. Lavagno. Luciano. Pietkiewicz-Koutny. Marta. 1996-11-01. On the models for asynchronous circuit behaviour with OR causality. Formal Methods in System Design. en. 9. 3. 189–233. 10.1007/BF00122082. 7456859 . 1572-8102.
  32. Web site: Starodubtsev, N. . Yakovlev, A. . Petrov, S . Use of VHDL Environment for Interactive Synthesis of Asynchronous Circuits . Newcaslte University .
  33. Shang . D. . Burns . F. . Koelmans . A. . Yakovlev . A. . Xia . F. . 2004-05-01 . Asynchronous system synthesis based on direct mapping using VHDL and Petri nets . IEE Proceedings - Computers and Digital Techniques . en . 151 . 3 . 209–220 . 10.1049/ip-cdt:20040525 . 62708582 . 1359-7027.
  34. Book: Burns . F. . Shang . D. . Koelmans . A. . Yakovlev . A. . Proceedings Design, Automation and Test in Europe Conference and Exhibition . An asynchronous synthesis toolset using Verilog . 2004 . https://ieeexplore.ieee.org/document/1268948 . Paris, France . IEEE Comput. Soc . 724–725 . 10.1109/DATE.2004.1268948 . 978-0-7695-2085-8. 9219686 .
  35. Web site: Asynchronous High Level Synthesis Tool (VERISYN) .
  36. Book: Cortadella . Jordi . Jordi Cortadella. Moreno . Alberto . Sokolov . Danil . Yakovlev . Alex . Lloyd . David . 2017 23rd IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) . Waveform Transition Graphs: A Designer-Friendly Formalism for Asynchronous Behaviours . https://ieeexplore.ieee.org/document/8097387 . 2017 . IEEE . 73–74 . 10.1109/ASYNC.2017.24 . 2117/114897 . 978-1-5386-2749-5. 5836204 . free .
  37. Web site: Nowick . Steve . Automatic synthesis of burst-mode asynchronous controllers (PhD Thesis) .
  38. Book: Chan . Alex . Sokolov . Danil . Khomenko . Victor . Lloyd . David . Yakovlev . Alex . 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE) . Synthesis of SI Circuits from Burst-Mode Specifications . 2021-02-01 . Grenoble, France . IEEE . 366–369 . 10.23919/DATE51398.2021.9474117 . 978-3-9819263-5-4. 236150734 .
  39. Book: Khomenko, Victor. Model Checking Based on Prefixes of Petri Net Unfoldings, PhD thesis. Newcastle University. 2003.
  40. Book: Xie. Aiguo. Performance Analysis of Asynchronous Circuits and Systems Using Stochastic Timed Petri Nets. 2000. Hardware Design and Petri Nets. 239–268. Yakovlev. Alex. Boston, MA. Springer US. en. 10.1007/978-1-4757-3143-9_13. 978-1-4757-3143-9 . Beerel. Peter A.. Gomes. Luis. Lavagno. Luciano.
  41. Book: Lavagno. L.. Moon. C.W.. Brayton. R.K.. Sangiovanni-Vincentelli. A.. [1992] Proceedings 29th ACM/IEEE Design Automation Conference . Solving the state assignment problem for signal transition graphs . 1992. https://ieeexplore.ieee.org/document/227821. Anaheim, CA, USA. IEEE Comput. Soc. Press. 568–572. 10.1109/DAC.1992.227821. 978-0-8186-2822-1. 17410812 .
  42. Book: Vanbekbergen. Peter. A Generalized State Assignment Theory for Transformations on Signal Transition Graphs. 1994. Asynchronous Circuit Design for VLSI Signal Processing. 101–115. Meng. Teresa H.. Boston, MA. Springer US. en. 10.1007/978-1-4615-2794-7_8. 978-1-4615-2794-7 . Lin. Bill. Goossens. Gert. De Man. Hugo. Malik. Sharad.
  43. Book: Vanbekbergen. P.. Catthoor. F.. Goossens. G.. De Man. H.. 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers . Optimized synthesis of asynchronous control circuits from graph-theoretic specifications . 1990. https://ieeexplore.ieee.org/document/129875. Santa Clara, CA, USA. IEEE Comput. Soc. Press. 184–187. 10.1109/ICCAD.1990.129875. 978-0-8186-2055-3.
  44. Vanbekbergen. P.. Goossens. G.. Catthoor. F.. De Man. H.J.. November 1992. Optimized synthesis of asynchronous control circuits from graph-theoretic specifications. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 11. 11. 1426–1438. 10.1109/43.177405. 32318274 .
  45. Cortadella. J.. Kishinevsky. M.. Kondratyev. A.. Lavagno. L.. Yakovlev. A.. August 1997. A region-based theory for state assignment in speed-independent circuits. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 16. 8. 793–812. 10.1109/43.644602. 2117/125782. free.
  46. Book: Semenov. A.. Yakovlev. A.. Pastor. E.. Pena. M.A.. Cortadella. J.. Jordi Cortadella. Lavagno. L.. Proceedings Third International Symposium on Advanced Research in Asynchronous Circuits and Systems . Partial order based approach to synthesis of speed-independent circuits . 1997. https://ieeexplore.ieee.org/document/587179. Eindhoven, Netherlands. IEEE Comput. Soc. Press. 254–265. 10.1109/ASYNC.1997.587179. 978-0-8186-7922-3. 2117/129959. 7883418 . free.
  47. Verification and synthesis of asynchronous control circuits using petri net unfoldings. Newcastle University. 1997. Thesis. en. Alexei. Semenov..
  48. Khomenko. Victor. July 2009. Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings. IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 17. 7. 855–868. 10.1109/TVLSI.2008.2012156. 62773126 . 1063-8210.
  49. Madalinski. A.. Bystrov. A.. Khomenko. V.. Yakovlev. A.. 2003. Visualisation and resolution of encoding conflicts in asynchronous circuit design. IEE Proceedings - Computers and Digital Techniques. en. 150. 5. 285. 10.1049/ip-cdt:20030831.
  50. Book: Carmona. J.. Cortadella. J.. Jordi Cortadella. Pastor. E.. Proceedings Second International Conference on Application of Concurrency to System Design . A structural encoding technique for the synthesis of asynchronous circuits . 2001. https://ieeexplore.ieee.org/document/981773. Newcastle upon Tyne, UK. IEEE Comput. Soc. 157–166. 10.1109/CSD.2001.981773. 978-0-7695-1071-2. 2117/133434. 16280258 . free.
  51. Book: Yakovlev, A.V. . The Sixth International Conference on VLSI Design . Synthesis of Hazard-free Asynchronous Circuits from Generalized Signal-Transition Graphs . 1993 . https://ieeexplore.ieee.org/document/669629 . Bombay, India . IEEE . 21–24 . 10.1109/ICVD.1993.669629 . 978-0-8186-3180-1. 10434495 .
  52. Book: Kondratyev. Alex. Kishinevsky. Michael. Lin. Bill. Vanbekbergen. Peter. Yakovlev. Alex. Proceedings of the 31st annual conference on Design automation conference - DAC '94 . Basic gate implementation of speed-independent circuits . 1994-06-06. New York, NY, USA. Association for Computing Machinery. 56–62. 10.1145/196244.196275. 978-0-89791-653-0. 10431976 . free.
  53. Book: Starodoubtsev. N.. Bystrov. S.. Goncharov. M.. Klotchkov. I.. Smirnov. A.. Proceedings Second International Conference on Application of Concurrency to System Design . Towards synthesis of monotonic asynchronous circuits from signal transition graphs . 2001. https://ieeexplore.ieee.org/document/981775. Newcastle upon Tyne, UK. IEEE Comput. Soc. 179–188. 10.1109/CSD.2001.981775. 978-0-7695-1071-2. 39407927 .
  54. Book: Starodoubtsev. N.. Bystrov. S.. Yakovlev. A.. Ninth International Symposium on Asynchronous Circuits and Systems, 2003. Proceedings. . Monotonic circuits with complete acknowledgement . 2003. https://ieeexplore.ieee.org/document/1199170. Vancouver, BC, Canada. IEEE Comput. Soc. 98–108. 10.1109/ASYNC.2003.1199170. 978-0-7695-1898-5. 704120 .
  55. Khomenko. Victor. Schaefer. Mark. Vogler. Walter. Wollowski. Ralf. 2009-10-01. STG decomposition strategies in combination with unfolding. Acta Informatica. en. 46. 6. 433–474. 10.1007/s00236-009-0102-y. 9955410 . 1432-0525.
  56. Sokolov. Danil. Bystrov. Alexander. Yakovlev. Alex. June 2007. Direct Mapping of Low-Latency Asynchronous Controllers From STGs. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 26. 6. 993–1009. 10.1109/TCAD.2006.884416. 6811851 . 0278-0070.
  57. Book: Cortadella. J.. Jordi Cortadella. Lavagno. L.. Vanbekbergen. P.. Yakovlev. A.. Proceedings of 1994 IEEE Symposium on Advanced Research in Asynchronous Circuits and Systems . Designing asynchronous circuits from behavioural specifications with internal conflicts . 1994. https://ieeexplore.ieee.org/document/656296. Salt Lake City, UT, USA. IEEE Comput. Soc. Press. 106–115. 10.1109/ASYNC.1994.656296. 2117/128605 . 978-0-8186-6210-2. 14524732 . free.
  58. Web site: Low, K-S. . Yakovlev, A. . 1995. Token Ring Arbiters: An Exercise in Asynchronous Logic Design with Petri-Nets . Newcastle University .
  59. Book: Sokolov . Danil . Khomenko . Victor . Yakovlev . Alex . Lloyd . David . 2018 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) . Design and Verification of Speed-Independent Circuits with Arbitration in Workcraft . May 2018 . https://ieeexplore.ieee.org/document/8589980 . 30–31 . 10.1109/ASYNC.2018.00017. 978-1-5386-5883-3 . 57192066 .

Further reading

This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Signal transition graphs".

Except where otherwise indicated, Everything.Explained.Today is © Copyright 2009-2024, A B Cryer, All Rights Reserved. Cookie policy.