For the most recent entries see the
Petri Nets Newsletter.
Keyword: signal transition graphs
-
Yakovlev, Alex;
Furber, Steve;
Krenz, René;
Bystrov, Alexandre:
Design and Analysis of a Self-Timed Duplex Communication System.
2004.
-
Khomenko, Victor;
Koutny, Maciej;
Yakovlev, Alex:
Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT.
2004.
-
Khomenko, Victor;
Koutny, Maciej;
Yakovlev, Alex:
Detecting State Coding Conflicts in STG Unfoldings Using SAT.
2003.
-
Wollowski, R.;
Beister, J.:
Comprehensive causal specification of asynchronous controller and arbiter behaviour.
2000.
-
Blunno, I.;
Lavagno, L.:
Deriving signal transition graphs from behavioral Verilog HDL.
1999.
-
Chung, S.-H.;
Farber, S.B.:
The design of the control circuit for an asynchronous instruction prefetch unit using signal transition graphs.
1999.
-
Meyer, R.;
Thiagarajan, P.S.:
LTrL based model checking for a restricted class of Signal Transition Graphs.
1999.
-
Saito, H.;
Kondratyev, A.;
Cortadella, J.;
Lavagno, L.;
Yakovlev, A.:
What is the cost of delay insensitivity?
1999.
-
García-Vallés, F.;
Colom, J.M.:
Structural Analysis of Signal Transition Graphs.
1997.
-
Miyamoto, T.;
Lee, D.-I.;
Kumagai, S.:
An efficient state space search for the synthesis of asynchronous circuits by subspace construction.
1995.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography