• Divide-and-conquer strategies for process mining 

      Carmona Vargas, Josep; Cortadella, Jordi; Kishinevsky, Mike (2009-03)
      Report de recerca
      Accés obert
      The main goal of Process Mining is to extract process models from logs of a system. Among the possible models to represent a process, Petri nets is an ideal candidate due to its graphical representation, clear semantics ...
    • Region-based algorithms for process mining and synthesis of Petri nets 

      Carmona Vargas, Josep; Cortadella, Jordi; Kishinevsky, Mike (2009-02)
      Report de recerca
      Accés obert
      The theory of regions was introduced in the early nineties as a bridge between state-based and event-based specifications. Since then, much attention has been paid to theoretical extensions of this theory, but less advances ...
    • Retiming and recycling for elastic systems with early evaluation 

      Bufistov, Dmitry; Cortadella, Jordi; Galcerán Oms, Marc; Julvez Bueno, Jorge Emilio; Kishinevsky, Mike (2009-04)
      Report de recerca
      Accés obert
      Retiming and recycling are two transformations used to optimize the performance of latency-insensitive (a.k.a. synchronous elastic) systems. This paper presents an approach that combines these two transformations for ...
    • RTL synthesis: From logic synthesis to automatic pipelining 

      Cortadella, Jordi; Galcerán Oms, Marc; Kishinevsky, Mike; Sapatnekar, Sachin S. (2015-11-01)
      Article
      Accés obert
      Design automation has been one of the main propellers of the semiconductor industry with logic synthesis being one of the core technologies in this field. This article reviews the evolution of logic synthesis until the ...
    • Scheduling synchronous elastic designs 

      Carmona Vargas, Josep; Julvez Bueno, Jorge Emilio; Cortadella, Jordi; Kishinevsky, Mike (2009)
      Text en actes de congrés
      Accés obert
      Asynchronous and latency-insensitive circuits offer a similar form of elasticity that tolerates variations in the delays of communication resources of a system. This flexibility comes at the expense of including a control ...
    • Speculation in elastic systems 

      Galcerán Oms, Marc; Cortadella, Jordi; Kishinevsky, Mike (2009-05)
      Report de recerca
      Accés obert
      Speculation is a well-known technique for increasing parallelism of the microprocessor pipelines and hence their performance. While implementing speculation in modern design practice is error-prone and mostly ad-hoc, this ...
    • Synchronous elastic circuits with early evaluation and token counterflow 

      Cortadella, Jordi; Kishinevsky, Mike (2007-03)
      Report de recerca
      Accés obert
      A protocol for latency-insensitive design with early evaluation and its implementation is presented. The implementation is based on a symmetric view of the system in which tokens carrying information move in the forward ...