a yakovlev
TitleCited byYear
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
6571997
Self-Timed Control of Concurrent Processes: The Design of Aperiodic Logical Circuits in Computers and Discrete Systems
VI Varshavsky
Springer Science & Business Media, 2012
3322012
Deriving Petri nets from finite transition systems
J Cortadella, M Kishinevsky, L Lavagno, A Yakovlev
IEEE transactions on computers 47 (8), 859-882, 1998
2801998
Logic synthesis for asynchronous controllers and interfaces
J Cortadella, M Kishinevsky, A Kondratyev, L Lavagno, A Yakovlev
Springer Science & Business Media, 2012
2662012
Concurrent hardware: the theory and practice of self-timed design
M Kishinevsky, A Kondratyev, A Taubin, V Varshavsky, A Yakovlev, ...
John Wiley & Sons, Inc., 1994
2461994
Signal graphs: from self-timed to timed ones
LY Rosenblum, A Yakovlev
International Workshop on Timed Petri Nets, 199-206, 1985
2071985
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
1772005
Hardware design and Petri nets
A Yakovlev, L Gomes, L Lavagno
Kluwer Academic Publishers, 2000
1342000
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
1262010
Basic gate implementation of speed-independendent circuits
A Kondratyev, M Kishinevsky, B Lin, P Vanbekbergen, A Yakovlevy
31st Design Automation Conference, 56-62, 1994
1261994
Time difference amplifier
AM Abas, A Bystrov, DJ Kinniment, OV Maevsky, G Russell, AV Yakovlev
Electronics Letters 38 (23), 1437-1438, 2002
1112002
Synchronization circuit performance
DJ Kinniment, A Bystrov, AV Yakovlev
IEEE Journal of Solid-State Circuits 37 (2), 202-209, 2002
1092002
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
1091995
Unfolding and finite prefix for nets with read arcs
W Vogler, A Semenov, A Yakovlev
International Conference on Concurrency Theory, 501-516, 1998
891998
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
832004
Priority arbiters
A Bystrov, DJ Kinniment, A Yakovlev
Proceedings Sixth International Symposium on Advanced Research in …, 2000
792000
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
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
731996
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
702016
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
702006
The system can't perform the operation now. Try again later.
Articles 1–20