Exploració per autor "Cortadella, Jordi"
Ara es mostren els items 41-60 de 193
-
Combining structural and symbolic methods for the verification of concurrent systems
Cortadella, Jordi (Institute of Electrical and Electronics Engineers (IEEE), 1998)
Text en actes de congrés
Accés obertThe contributions during the last few years on the structural theory of Petri nets can now be applied to formal verification. The structural theory provides methods to find efficient encoding schemes for symbolic representations ... -
Complete state encoding based on the theory of regions
Cortadella, Jordi; Kishinevsky, Michael; Kondratyev, Alex; Lavagno, Luciano; Yakovlev, Alex (Institute of Electrical and Electronics Engineers (IEEE), 1996)
Text en actes de congrés
Accés obertSynthesis of asynchronous circuits from Signal Transition Graphs (STGs) and/or State Graphs (SGs) involves solving state coding problems. A well-known example of such problems is that of Complete State Coding (CSC), which ... -
Coping with the variability of combinational logic delays
Cortadella, Jordi; Kondratyev, Alex; Lavagno, Luciano; Sotiriou, Christos P. (Institute of Electrical and Electronics Engineers (IEEE), 2004)
Text en actes de congrés
Accés obertThis paper proposes a technique for creating a combinational logic network with an output that signals when all other outputs have stabilized. The method is based on dual-rail encoding, and guarantees low timing overhead ... -
Correct-by-construction microarchitectural pipelining
Kam, Timothy; Kishinevsky, Michael; Cortadella, Jordi; Galcerán Oms, Marc (Institute of Electrical and Electronics Engineers (IEEE), 2008)
Text en actes de congrés
Accés obertThis paper presents a method for correct-by-construction microarchitectural pipelining that handles cyclic systems with dependencies between iterations. Our method combines previously known bypass and retiming transformations ... -
Decomposition and technology mapping of speed-independent circuits using Boolean relations
Cortadella, Jordi; Kishinevsky, Michael; Kondratyev, Alex; Lavagno, Luciano; Pastor Llorens, Enric; Yakovlev, Alex (Institute of Electrical and Electronics Engineers (IEEE), 1997)
Text en actes de congrés
Accés obertPresents a new technique for the decomposition and technology mapping of speed-independent circuits. An initial circuit implementation is obtained in the form of a netlist of complex gates, which may not be available in ... -
Decomposition and technology mapping of speed-independent circuits using Boolean relations
Cortadella, Jordi; Kishinevsky, Michael; Kondratyev, Alex; Lavagno, Luciano; Pastor Llorens, Enric; Yakovlev, Alex (1999-09)
Article
Accés obertThis paper presents a new technique for decomposition and technology mapping of speed-independent circuits. An initial circuit implementation is obtained in the form of a netlist of complex gates, which may not be available ... -
Decomposition of transition systems into sets of synchronizing Free-choice Petri Nets
Teren, Viktor; Cortadella, Jordi; Villa, Tiziano (Institute of Electrical and Electronics Engineers (IEEE), 2022)
Text en actes de congrés
Accés obertPetri nets and transition systems are two important formalisms used for modeling concurrent systems. One interesting problem in this domain is the creation of a Petri net with a reachability graph equivalent to a given ... -
Decomposition of transition systems into sets of synchronizing state machines
Teren, Viktor; Cortadella, Jordi; Villa, Tiziano (Institute of Electrical and Electronics Engineers (IEEE), 2021)
Comunicació de congrés
Accés obertTransition systems (TS) and Petri nets (PN) are important models of computation ubiquitous in formal methods for modeling systems. An important problem is how to extract from a given TS a PN whose reachability graph is ... -
Deriving Petri nets from finite transition systems
Cortadella, Jordi; Kishinevsky, Michael; Lavagno, Luciano; Yakovlev, Alex (Institute of Electrical and Electronics Engineers (IEEE), 1998-08)
Article
Accés obertThis paper presents a novel method to derive a Petri net from any specification model that can be mapped into a state-based representation with arcs labeled with symbols from an alphabet of events (a Transition System, ... -
Designing asynchronous circuits from behavioural specifications with internal conflicts
Cortadella, Jordi; Lavagno, Luciano; Vanbekbergen, Peter; Yakovlev, Alex (Institute of Electrical and Electronics Engineers (IEEE), 1994)
Text en actes de congrés
Accés obertThe paper presents a systematic method for synthesizing asynchronous circuits from event-based specifications with conflicts on output signals. It describes a set of semantic-preserving transformations performed at the ... -
Desynchronization: Synthesis of asynchronous circuits from synchronous specifications
Cortadella, Jordi; Kondratyev, Alex; Lavagno, Luciano; Sotiriou, Christos (2006-10)
Article
Accés obertAsynchronous implementation techniques, which measure logic delays at runtime and activate registers accordingly, are inherently more robust than their synchronous counterparts, which estimate worst case delays at design ... -
Discovering duplicate tasks in transition systems for the simplification of process models
San Pedro Martín, Javier de; Cortadella, Jordi (Springer, 2016)
Text en actes de congrés
Accés obertThis work presents a set of methods to improve the understandability of process models. Traditionally, simplification methods trade off quality metrics, such as fitness or precision. Conversely, the methods proposed in ... -
Divide-and-conquer strategies for process mining
Carmona Vargas, Josep; Cortadella, Jordi; Kishinevsky, Mike (2009-03)
Report de recerca
Accés obertThe 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 ... -
Division with speculation of quotient digits
Cortadella, Jordi; Lang, Tomás (Institute of Electrical and Electronics Engineers (IEEE), 1993)
Text en actes de congrés
Accés obertThe speed of SRT-type dividers is mainly determined by the complexity of the quotient-digit selection, so that implementations are limited to low-radix stages. A scheme is presented in which the quotient-digit is speculated ... -
Efficient encoding schemes for symbolic analysis of Petri nets
Pastor Llorens, Enric; Cortadella, Jordi (Institute of Electrical and Electronics Engineers (IEEE), 1998)
Text en actes de congrés
Accés obertPetri nets are a graph-based formalism appropriate to model concurrent systems such as asynchronous circuits or network protocols. Symbolic techniques based on Binary Decision Diagrams (BDDs) have emerged as one of the ... -
Elastic circuits
Carmona Vargas, Josep; Cortadella, Jordi; Kishinevsky, Michael; Taubin, Alexander (2009-10)
Article
Accés obertElasticity in circuits and systems provides tolerance to variations in computation and communication delays. This paper presents a comprehensive overview of elastic circuits for those designers who are mainly familiar with ... -
Elastic systems
Cortadella, Jordi; Galcerán Oms, Marc; Kishinevsky, Michael (Institute of Electrical and Electronics Engineers (IEEE), 2010)
Text en actes de congrés
Accés obertElastic systems provide tolerance to the variations in computation and communication delays. The incorporation of elasticity opens new opportunities for optimization using new correct-by-construction transformations that ... -
Elasticity and Petri nets
Cortadella, Jordi; Kishinevsky, Michael; Bufistov, Dmitry; Carmona Vargas, Josep; Julvez Bueno, Jorge Emilio (2008-01)
Article
Accés obertDigital electronic systems typically use synchronous clocks and primarily assume fixed duration of their operations to simplify the design process. Time elastic systems can be constructed either by replacing the clock with ... -
Encoding large asynchronous controllers with ILP techniques
Carmona Vargas, Josep; Cortadella, Jordi (2008-01)
Article
Accés obertState encoding is one of the most difficult problems in the synthesis of asynchronous controllers. This paper presents a method that can solve the problem of large controllers specified with signal transition graphs. The ... -
Evaluating A+B=K conditions in constant time
Cortadella, Jordi; Llaberia Griñó, José M. (Institute of Electrical and Electronics Engineers (IEEE), 1988)
Text en actes de congrés
Accés obertThe authors consider a type of condition that can be evaluated without requiring a complete ALU (arithmetic logic unit) operation. The circuit that is presented detects the condition A+B=K (n-bit numbers) in constant time, ...