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 | 794 | 1997 |
Deriving Petri nets from finite transition systems J Cortadella, M Kishinevsky, L Lavagno, A Yakovlev IEEE transactions on computers 47 (8), 859-882, 1998 | 350 | 1998 |
Logic synthesis for asynchronous controllers and interfaces J Cortadella, M Kishinevsky, A Kondratyev, L Lavagno, A Yakovlev Springer Science & Business Media, 2012 | 326 | 2012 |
Concurrent hardware: the theory and practice of self-timed design M Kishinevsky, A Kondratyev, A Taubin, V Varshavsky John Wiley & Sons, Inc., 1994 | 304 | 1994 |
A region-based algorithm for discovering Petri nets from event logs J Carmona, J Cortadella, M Kishinevsky Business Process Management: 6th International Conference, BPM 2008, Milan …, 2008 | 163 | 2008 |
Elastic circuits J Carmona, J Cortadella, M Kishinevsky, A Taubin IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2009 | 141 | 2009 |
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 | 136 | 1994 |
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 | 129 | 1995 |
In-network monitoring and control policy for DVFS of CMP networks-on-chip and last level caches X Chen, Z Xu, H Kim, P Gratz, J Hu, M Kishinevsky, U Ogras ACM Transactions on Design Automation of Electronic Systems (TODAES) 18 (4 …, 2013 | 86 | 2013 |
On the models for asynchronous circuit behaviour with OR causality A Yakovlev, M Kishinevsky, A Kondratyev, L Lavagno, ... Formal Methods in System Design 9, 189-233, 1996 | 84 | 1996 |
Dynamic voltage and frequency scaling for shared resources in multicore processor designs X Chen, Z Xu, H Kim, PV Gratz, J Hu, M Kishinevsky, U Ogras, R Ayoub Proceedings of the 50th Annual Design Automation Conference, 1-7, 2013 | 83 | 2013 |
A region-based theory for state assignment in speed-independent circuits J Cortadella, M Kishinevsky, A Kondratyev, L Lavagno, A Yakovlev IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1997 | 83 | 1997 |
System level design and verification using a synchronous language G Berry, M Kishinevsky, S Singh ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No …, 2003 | 78 | 2003 |
A survey on energy management for mobile and IoT devices S Pasricha, R Ayoub, M Kishinevsky, SK Mandal, UY Ogras IEEE Design & Test 37 (5), 7-24, 2020 | 73 | 2020 |
Genet: A tool for the synthesis and mining of petri nets J Carmona, J Cortadella, M Kishinevsky 2009 Ninth International Conference on Application of Concurrency to System …, 2009 | 68 | 2009 |
Complete state encoding based on the theory of regions J Cortadella, M Kishinevsky, A Kondratyev, L Lavagno, A Yakovlev Proceedings Second International Symposium on Advanced Research in …, 1996 | 67 | 1996 |
Automatic generation of inductive invariants from high-level microarchitectural models of communication fabrics S Chatterjee, M Kishinevsky Formal Methods in System Design 40, 147-169, 2012 | 66 | 2012 |
A recursive paradigm to solve Boolean relations D Baneres, J Cortadella, M Kishinevsky Proceedings of the 41st annual Design Automation Conference, 416-421, 2004 | 64 | 2004 |
Checking signal transition graph implementability by symbolic BDD traversal A Kondratyev, J Cortadella, M Kishinevsky, E Pastor, O Roig, A Yakovlev Proceedings the European Design and Test Conference. ED&TC 1995, 325-332, 1995 | 63 | 1995 |
xMAS: Quick formal modeling of communication fabrics to enable verification S Chatterjee, M Kishinevsky, UY Ogras IEEE Design & Test of Computers 29 (3), 80-88, 2012 | 60 | 2012 |