Travelled to:2 × USA
Collaborated with:A.Yakovlev E.Pastor M.A.Peña J.Cortadella
Talks about:circuit (2) unfold (2) asynchron (1) synthesi (1) independ (1) segment (1) verif (1) speed (1) petri (1) time (1)
Person: Alexei L. Semenov
DBLP: Semenov:Alexei_L=
Contributed to:
19971996Wrote 2 papers:
- DAC-1997-SemenovYPPC #independence #synthesis
- Synthesis of Speed-Independent Circuits from STG-Unfolding Segment (ALS, AY, EP, MAP, JC), pp. 16–21.
- DAC-1996-SemenovY #petri net #using #verification
- Verification of asynchronous circuits using Time Petri Net unfolding (ALS, AY), pp. 59–62.