M. Kishinevsky

Restructuring multi-level networks by using function approximations

Alan Mishchenko, J. Cortadella, M. Kishinevsky, 2003 .

Performance analysis of concurrent systems with early evaluation

J. Cortadella, J. Julvez, M. Kishinevsky, 2006, 2006 IEEE/ACM International Conference on Computer Aided Design.

System level design and verification using a synchronous language

G. Berry, S. Singh, M. Kishinevsky, 2003, ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486).

Methodology and tools for state encoding in asynchronous circuit synthesis

J. Cortadella, A. Kondratyev, L. Lavagno, 1996, 33rd Design Automation Conference Proceedings, 1996.