a yakovlev
Title
Cited by
Cited by
Year
Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers
J Cortadella, M Kishinevsky, A Kondratyev, L Lavagno, A Yakovlev
IEICE Transactions on information and Systems 80 (3), 315-325, 1997
6671997
Self-Timed Control of Concurrent Processes: The Design of Aperiodic Logical Circuits in Computers and Discrete Systems
VI Varshavsky
Springer Science & Business Media, 2012
3422012
Deriving Petri nets from finite transition systems
J Cortadella, M Kishinevsky, L Lavagno, A Yakovlev
IEEE transactions on computers 47 (8), 859-882, 1998
2861998
Logic synthesis for asynchronous controllers and interfaces
J Cortadella, M Kishinevsky, A Kondratyev, L Lavagno, A Yakovlev
Springer Science & Business Media, 2012
2682012
Concurrent hardware: the theory and practice of self-timed design
M Kishinevsky, A Kondratyev, A Taubin, V Varshavsky
John Wiley & Sons, Inc., 1994
2531994
Signal graphs: from self-timed to timed ones
LY Rosenblum, A Yakovlev
International Workshop on Timed Petri Nets, 199-206, 1985
2091985
Design and analysis of dual-rail circuits for security applications
D Sokolov, J Murphy, A Bystrov, A Yakovlev
IEEE Transactions on Computers 54 (4), 449-460, 2005
1822005
Hardware design and Petri nets
A Yakovlev, L Gomes, L Lavagno
Kluwer Academic Publishers 1 (2), 3, 2000
1332000
Comprehensive analysis of the impact of single and arrays of through silicon vias induced stress on high-k/metal gate CMOS performance
A Mercha, G Van der Plas, V Moroz, I De Wolf, P Asimakopoulos, N Minas, ...
2010 International Electron Devices Meeting, 2.2. 1-2.2. 4, 2010
1302010
Basic gate implementation of speed-independent circuits
A Kondratyev, M Kishinevsky, B Lin, P Vanbekbergen, A Yakovlev
Proceedings of the 31st annual Design Automation Conference, 56-62, 1994
1281994
Time difference amplifier
AM Abas, A Bystrov, DJ Kinniment, OV Maevsky, G Russell, AV Yakovlev
Electronics Letters 38 (23), 1437-1438, 2002
1132002
Synchronization circuit performance
DJ Kinniment, A Bystrov, AV Yakovlev
IEEE Journal of Solid-State Circuits 37 (2), 202-209, 2002
1112002
Synthesizing Petri nets from state-based models
J Cortadella, M Kishinevsky, L Lavagno, A Yakovlev
Proceedings of IEEE International Conference on Computer Aided Design (ICCAD …, 1995
1101995
Unfolding and finite prefix for nets with read arcs
W Vogler, A Semenov, A Yakovlev
International Conference on Concurrency Theory, 501-516, 1998
901998
A survey of emerging interconnects for on-chip efficient multicast and broadcast in many-cores
A Karkar, T Mak, KF Tong, A Yakovlev
IEEE Circuits and Systems Magazine 16 (1), 58-72, 2016
842016
Improving the security of dual-rail circuits
D Sokolov, J Murphy, A Bystrov, A Yakovlev
International Workshop on Cryptographic Hardware and Embedded Systems, 282-297, 2004
822004
Priority arbiters
A Bystrov, DJ Kinniment, A Yakovlev
Proceedings Sixth International Symposium on Advanced Research in …, 2000
792000
On the models for asynchronous circuit behaviour with OR causality
A Yakovlev, M Kishinevsky, A Kondratyev, L Lavagno, ...
Formal Methods in System Design 9 (3), 189-233, 1996
781996
High-level modeling and design of asynchronous interface logic
AV Yakovlev, AM Koelmans, L Lavagno
IEEE Design & Test of Computers 12 (1), 32-40, 1995
741995
Logic synthesis for asynchronous circuits based on STG unfoldings and incremental SAT
V Khomenko, M Koutny, A Yakovlev
Fundamenta Informaticae 70 (1, 2), 49-73, 2006
722006
The system can't perform the operation now. Try again later.
Articles 1–20