Folgen
Michael Kishinevsky
Michael Kishinevsky
Intel
Keine bestätigte E-Mail-Adresse
Titel
Zitiert von
Zitiert von
Jahr
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
7911997
Deriving Petri nets from finite transition systems
J Cortadella, M Kishinevsky, L Lavagno, A Yakovlev
IEEE transactions on computers 47 (8), 859-882, 1998
3491998
Logic synthesis for asynchronous controllers and interfaces
J Cortadella, M Kishinevsky, A Kondratyev, L Lavagno, A Yakovlev
Springer Science & Business Media, 2012
3262012
Concurrent hardware: the theory and practice of self-timed design
M Kishinevsky, A Kondratyev, A Taubin, V Varshavsky
John Wiley & Sons, Inc., 1994
3031994
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
1622008
Elastic circuits
J Carmona, J Cortadella, M Kishinevsky, A Taubin
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2009
1412009
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
1361994
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
1291995
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
862013
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
841996
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
832013
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
831997
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
782003
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
682020
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
682009
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
671996
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
662012
A recursive paradigm to solve Boolean relations
D Baneres, J Cortadella, M Kishinevsky
Proceedings of the 41st annual Design Automation Conference, 416-421, 2004
642004
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
631995
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
602012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20