JOUR.bib

@comment{{This file has been generated by bib2bib 1.99}}
@comment{{Command line: bib2bib -ob JOUR.bib ABBREV.bib JOURNALS_JC.bib}}
@comment{{"\newcommand\noopsort[1]"}}
@comment{{==================================================================== }}
@comment{{Predefined journals                           }}
@comment{{==================================================================== }}
@comment{{==================================================================== }}
@comment{{Predefined publishers                          }}
@comment{{==================================================================== }}
@comment{{==================================================================== }}
@comment{{Predefined series                              }}
@comment{{==================================================================== }}
@comment{{==================================================================== }}
@comment{{Predefined conference proceedings                      }}
@comment{{==================================================================== }}
@article{Lagostina2024_mixlatch,
  author = {Lorenzo Lagostina and Filippo Minella and Jordi Cortadella and Mario R. Casu and Mihai T. Lazarescu and Luciano Lavagno},
  title = {{Mix \& Latch: Comparison With State-of-the-Art Retiming On a RISC-V Benchmark}},
  journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  year = 2024,
  doi = {10.1109/TCAD.2024.3360314},
  url = {https://ieeexplore.ieee.org/document/10418169}
}
@article{Minella2023_mixlatch,
  author = {Filippo Minella and Jordi Cortadella and Mario R. Casu and Mihai T. Lazarescu and Luciano Lavagno},
  title = {{Mix \& Latch: An Optimization Flow for High-Performance Designs with
  Single-Clock Mixed-Polarity Latches and Flip-Flops}},
  journal = {IEEE Access},
  year = 2023,
  doi = {10.1109/ACCESS.2023.3265809},
  url = {https://ieeexplore.ieee.org/document/10097737}
}
@article{Teren2022_amcs,
  author = {Viktor Teren and Jordi Cortadella and Tiziano Villa},
  title = {{Generation of synchronizing state machines from a transition
             system: a region-based approach}},
  journal = {International Journal of Applied Mathematics \& Computer Science},
  volume = 33,
  number = 1,
  year = 2023,
  pages = {133-149},
  .pdf = {},
  doi = {10.34768/amcs-2023-0011}
}
@article{Junnan2022_EnergyOptimal,
  author = {Junnan Shan and Mihai T. Lazarescu and Jordi Cortadella and Luciano Lavagno and Mario R. Casu},
  journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  title = {{Fast Energy-Optimal Multi-Kernel DNN-like Application Allocation on Multi-FPGA Platforms}},
  year = 2022,
  volume = 41,
  number = 4,
  pages = {1186--1190},
  doi = {10.1109/TCAD.2021.3076958},
  url = {https://ieeexplore.ieee.org/document/9419915}
}
@article{Josipovic2021,
  author = {Lana Josipovi\'c and Shabnam Sheikha and Andrea Guerrieri and Paolo Ienne and Jordi Cortadella},
  title = {{Buffer Placement and Sizing for High-Performance Dataflow Circuits}},
  journal = {ACM Transactions on Reconfigurable Technology and Systems},
  xpages = {186--196},
  volume = 4,
  number = 1,
  month = nov,
  year = {2021},
  pdf = {files/acm_trets2021.pdf},
  doi = {10.1145/3477053},
  note = {Article 4}
}
@article{Junnan2021_CNNonAWS,
  author = {Junnan Shan and Mihai T. Lazarescu and Jordi Cortadella and Luciano Lavagno and Mario R. Casu},
  journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  title = {{CNN-on-AWS: Efficient Allocation of Multi-Kernel Applications on Multi-FPGA Platforms}},
  year = 2021,
  volume = 40,
  number = 2,
  pages = {301--314},
  doi = {10.1109/TCAD.2020.2994256},
  url = {https://ieeexplore.ieee.org/document/9091518}
}
@article{Vidal2021,
  author = {Alex Vidal-Obiols and Jordi Cortadella and Jordi Petit and Marc Galceran-Oms and Ferran Martorell},
  title = {Multi-Level Dataflow-Driven Macro Placement guided by {RTL} Structure and Analytical Methods},
  journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  volume = 40,
  number = 12,
  pages = {2542--2555},
  month = dec,
  year = 2021,
  doi = {10.1109/TCAD.2020.3047724},
  url = {https://ieeexplore.ieee.org/document/9309318}
}
@article{Segarra2020_reuse,
  author = {Juan Segarra and Jordi Cortadella and Rub\'en {Gran Tejero} and V\'{\i}ctor Vi{\~n}als},
  title = {Automatic Safe Data Reuse Detection for the {WCET} Analysis of Systems with Data Caches},
  journal = {IEEE Access},
  volume = 8,
  pages = {192379--192392},
  year = 2020,
  doi = {10.1109/ACCESS.2020.3032145},
  url = {https://ieeexplore.ieee.org/document/9229458}
}
@article{Junnan2020_PowerCNN,
  author = {Junnan Shan and Mihai T. Lazarescu and Jordi Cortadella and Luciano Lavagno and Mario R. Casu},
  journal = {IEEE Transactions on Circuits and Systems II},
  title = {{Power-Optimal Mapping of CNN Applications to Cloud-Based Multi-FPGA Platforms}},
  year = 2020,
  volume = 67,
  number = 12,
  pages = {3073--3077},
  doi = {10.1109/TCSII.2020.2998284},
  url = {https://ieeexplore.ieee.org/document/9103067}
}
@article{Machado2020_FPGAmapping,
  author = {Lucas Machado and Jordi Cortadella},
  title = {{Support-Reducing Decomposition for FPGA Mapping}},
  journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  year = 2020,
  volume = 39,
  number = 1,
  month = jan,
  pages = {213--224},
  doi = {10.1109/TCAD.2018.2878187},
  url = {https://ieeexplore.ieee.org/document/8509141}
}
@article{Machado2019_RingOscillators,
  author = {Lucas Machado and Antoni Roca and Jordi Cortadella},
  title = {{Robustness to Voltage Noise with Ring Oscillator Clocks}},
  journal = {IEEE Transactions on Nanotechnology},
  volume = 18,
  number = 1,
  month = apr,
  year = 2019,
  pages = {374--384},
  doi = {10.1109/TNANO.2019.2908946}
}
@article{Moreno2018_encoding,
  author = {Alberto Moreno and Jordi Cortadella},
  title = {State-based encoding of large asynchronous controllers},
  journal = {IEEE Access},
  volume = 6,
  year = 2018,
  month = sep,
  day = 28,
  pages = {61503--61518},
  doi = {10.1109/ACCESS.2018.2872678},
  url = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8476293}
}
@article{Jutge2017,
  author = {Jordi Petit and Salvador Roura and Josep Carmona and Jordi Cortadella and Amalia Duch and Omer Gim\'enez and Anaga Mani and Jan Mas
and Enric Rodr\'{\i}guez-Carbonell and Albert Rubio and Javier de San Pedro and Divya Venkataramani},
  journal = {IEEE Transactions on Learning Technologies},
  title = {{Jutge.org: Characteristics and Experiences}},
  volume = 11,
  number = 3,
  pages = {321--333},
  month = {July-Sept},
  year = {2017},
  doi = {10.1109/TLT.2017.2723389},
  file = {files/JutgeOrg_2017.pdf}
}
@article{Jain2016,
  author = {Palkesh Jain and Jordi Cortadella and Sachin S. Sapatnekar},
  title = {{A Fast and Retargetable Framework for Logic-IP-Internal Electromigration
          Assessment Comprehending Advanced Waveform Effects}},
  journal = {IEEE Transactions on Very Large Scale Integration (VLSI) Systems},
  volume = 24,
  number = 6,
  year = 2016,
  pages = {2345--2358},
  doi = {10.1109/TVLSI.2015.2505504}
}
@article{Cortadella2015,
  author = {Jordi Cortadella and Marc Galceran-Oms and Mike Kishinevsky and Sachin S. Sapatnekar},
  title = {{RTL} synthesis: from logic synthesis to automatic pipelining},
  journal = {Proceedings of the IEEE},
  volume = 103,
  number = 11,
  month = nov,
  year = 2015,
  pages = {2061--2075},
  url = {http://upcommons.upc.edu/handle/2117/82027},
  doi = {10.1109/JPROC.2015.2456189}
}
@article{Beer2015,
  author = {Marco Cannizzaro and Salomon Beer and Jordi Cortadella and Ran Ginosar and Luciano Lavagno},
  title = {{SafeRazor}: Metastability-Robust Adaptive Clocking in Resilient Circuits},
  journal = {IEEE Transactions on Circuits and Systems I:
                   Fundamental Theory and Applications},
  volume = 62,
  number = 9,
  month = sep,
  year = 2015,
  pages = {2238--2247},
  doi = {10.1109/TCSI.2014.2365878},
  url = {http://upcommons.upc.edu/handle/2117/78809}
}
@article{Carmona2014_discovery,
  author = {Josep Carmona and Jordi Cortadella},
  title = {{Process Discovery Algorithms using Numerical Abstract Domains}},
  journal = {IEEE Transactions on Knowledge and Data Engineering},
  volume = 26,
  number = 12,
  month = dec,
  year = 2014,
  pages = {3064--3076},
  doi = {10.1109/TKDE.2013.156},
  pdf = {files/ieeetkde_process_discovery.pdf}
}
@article{Cortadella2014_routing,
  author = {Jordi Cortadella and Jordi Petit and Sergio G\'{o}mez and Francesc Moll},
  title = {{A Boolean Rule-Based Approach for Manufacturability-Aware Cell Routing}},
  journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  volume = 33,
  number = 3,
  year = 2014,
  month = mar,
  pages = {409--422},
  doi = {10.1109/TCAD.2013.2292514},
  pdf = {files/tcad2014_Routing.pdf}
}
@article{Cortadella2013_folding,
  author = {Jordi Cortadella},
  title = {{Area-Optimal Transistor Folding for 1-D Gridded Cell Design}},
  journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  year = 2013,
  month = nov,
  volume = 32,
  number = 11,
  pages = {1708--1721},
  doi = {10.1109/TCAD.2013.2269680},
  pdf = {files/tcad2013_Folding.pdf}
}
@article{Nikitin2013,
  author = {Nikita Nikitin and Javier de San Pedro and Jordi Cortadella},
  title = {{Architectural Exploration of Large-Scale Hierarchical Chip Multiprocessors}},
  journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  volume = 32,
  number = 10,
  month = oct,
  year = 2013,
  pages = {1569--1582},
  pdf = {files/tcad2013_ArchExploration.pdf},
  doi = {10.1109/TCAD.2013.2272539}
}
@article{Peper2013,
  author = {Ferdinand Peper and Jia Lee and Josep Carmona and Jordi Cortadella and Kenichi Morita},
  title = {{Brownian Circuits: Fundamentals}},
  journal = {ACM Journal on Emerging Technologies in Computing Systems},
  volume = 9,
  number = 1,
  month = feb,
  year = 2013,
  pages = {3:1--3:24},
  pdf = {files/BrownianCircuits_JETC2013.pdf},
  doi = {10.1145/2422094.2422097}
}
@article{Galceran2011,
  author = {Marc Galceran-Oms and Alexander Gotmanov and Jordi Cortadella and Mike Kishinevsky},
  title = {{Microarchitectural Transformations Using Elasticity}},
  journal = {ACM Journal on Emerging Technologies in Computing Systems},
  volume = 7,
  number = 4,
  month = dec,
  year = 2011,
  pages = {18:1--18:24},
  doi = {10.1145/2043643.2043648},
  pdf = {files/JECTS2011_MicroarchTransform.pdf}
}
@article{Carmona2011,
  author = {Josep Carmona and Jorge J{\'u}lvez and Jordi Cortadella and Michael Kishinevsky},
  title = {A Scheduling Strategy for Synchronous Elastic Designs},
  journal = {Fundamenta Informaticae},
  volume = {108},
  number = {1-2},
  year = {2011},
  pages = {1--21},
  doi = {10.3233/FI-2011-411}
}
@article{Carmona09_tcad,
  author = {Josep Carmona and Jordi Cortadella and Mike Kishinevsky and
            Alexander Taubin},
  title = {Elastic Circuits},
  journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  volume = 28,
  number = 10,
  month = oct,
  year = 2009,
  pages = {1437--1455},
  pdf = {files/ElasticCircuits_tcad2009.pdf},
  doi = {10.1109/TCAD.2009.2030436}
}
@article{Carmona10_tc,
  author = {Josep Carmona and Jordi Cortadella and Mike Kishinevsky},
  title = {New Region-Based Algorithms for Deriving Bounded {Petri} nets},
  journal = {IEEE Transactions on Computers},
  volume = 59,
  number = 3,
  doi = {10.1109/TC.2009.131},
  month = mar,
  year = 2010,
  pages = {371--384}
}
@article{Cortadella09_tvlsi,
  author = {Jordi Cortadella and Alexander Taubin},
  title = {Guest Editorial: Special Section on Asynchronous Circuits and Systems},
  journal = {IEEE Transactions on Very Large Scale Integration (VLSI) Systems},
  month = jul,
  year = 2009,
  volume = 17,
  number = 7,
  pages = {853--854},
  doi = {10.1109/TVLSI.2009.2022864}
}
@article{Julvez10_deds,
  author = {Jorge J\'{u}lvez and Jordi Cortadella and Michael Kishinevsky},
  title = { On the Performance Evaluation of Multi-Guarded Marked Graphs with
            Single-Server Semantics},
  journal = {Discrete Event Dynamic Systems},
  volume = 20,
  number = 3,
  month = sep,
  year = 2010,
  pages = {377--407},
  doi = {10.1007/s10626-009-0079-2}
}
@article{Cortadella08pnomc,
  author = {Jordi Cortadella and Michael Kishinevsky and Dmitry Bufistov and
            Josep Carmona and Jorge J{\'u}lvez},
  title = {Elasticity and {Petri Nets}},
  journal = {Transactions on Petri Nets and Other Models of Concurrency I},
  month = aug,
  year = 2008,
  pages = {221--249},
  series = {Lecture Notes in Computer Science},
  volume = 5100,
  doi = {10.1007/978-3-540-89287-8_13}
}
@article{Baneres09,
  author = {David Ba{\~n}eres and Jordi Cortadella and Mike Kishinevsky},
  title = {A Recursive Paradigm to Solve {Boolean} Relations},
  journal = {IEEE Transactions on Computers},
  year = 2009,
  month = apr,
  volume = 58,
  number = 4,
  pages = {512--527},
  doi = {10.1109/TC.2008.165}
}
@article{Carmona08jetc,
  author = {Josep Carmona and
               Jordi Cortadella and
               Yousuke Takada and
               Ferdinand Peper},
  title = {Formal methods for the analysis and synthesis of nanometer-scale
               cellular arrays},
  journal = {ACM Journal on Emerging Technologies in Computing Systems},
  volume = {4},
  number = {2},
  year = {2008},
  doi = {10.1145/1350763.1350768}
}
@article{Carmona08tcad,
  author = {Josep Carmona and Jordi Cortadella},
  title = {Encoding Large Asynchronous Controllers with {ILP} Techniques},
  journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  month = jan,
  year = 2008,
  volume = 27,
  number = 1,
  pages = {20--33},
  pdf = {files/tcad08_ilp.pdf},
  doi = {10.1109/TCAD.2007.907238}
}
@article{Cortadella07fteda,
  author = {Alexander Taubin and Jordi Cortadella and Luciano Lavagno and
           Alex Kondratyev and Ad Peeters},
  title = {Design Automation of Real Life Asynchronous Devices and Systems},
  journal = {Foundations and Trends in Electronic Design Automation},
  volume = 2,
  number = 1,
  year = 2007,
  pages = {1--133},
  publisher = {Elsevier B. V.},
  doi = {10.1561/1000000006}
}
@article{Clariso07fi,
  author = {Robert Claris{\'o} and
               Jordi Cortadella},
  title = {Verification of Concurrent Systems with Parametric Delays
               Using Octahedra},
  journal = {Fundamenta Informaticae},
  volume = 78,
  number = 1,
  year = 2007,
  pages = {1-33}
}
@article{Kyller07,
  author = {Kyller Costa Gorg{\^o}nio and
               Jordi Cortadella and
               Fei Xia and
               Alexandre Yakovlev},
  title = {Automating Synthesis of Asynchronous Communication Mechanisms},
  journal = {Fundamenta Informaticae},
  volume = 78,
  number = 1,
  year = 2007,
  pages = {75-100}
}
@article{Clariso07,
  author = {Robert Claris\'{o} and Jordi Cortadella},
  title = {The Octahedron Abstract Domain},
  journal = {Science of Computer Programming},
  volume = 64,
  number = 1,
  month = jan,
  year = 2007,
  pages = {115-139},
  doi = {10.1016/j.scico.2006.03.009},
  publisher = {Elsevier B. V.},
  pdf = {files/octahedron_scp07.pdf}
}
@article{Cortadella06tcad,
  author = {Jordi Cortadella and Alex Kondratyev and Luciano Lavagno and
               Christos Sotiriou},
  title = {Desynchronization: Synthesis of Asynchronous Circuits from
               Synchronous Specifications},
  journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  volume = 25,
  number = 10,
  month = oct,
  year = 2006,
  pages = {1904--1921},
  pdf = {files/tcad06_desync.pdf},
  doi = {10.1109/TCAD.2005.860958}
}
@article{Carmona06tcad,
  author = {Josep Carmona and Jos\'e M. Colom and Jordi Cortadella and
               Fernando Garc\'{\i}a-Vall\'es},
  title = {Synthesis of Asynchronous Controllers Using Integer Linear
               Programming},
  journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  volume = 25,
  number = 9,
  month = sep,
  year = 2006,
  pages = {1637--1651},
  pdf = {files/tcad06_ilp.pdf},
  doi = {10.1109/TCAD.2005.859516}
}
@article{Cortadella05,
  author = {Jordi Cortadella and Alex Kondratyev and Luciano Lavagno
              and Claudio Passerone and Yosinori Watanabe},
  title = {Quasi-Static Scheduling of Independent Tasks
               for Reactive Systems},
  journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  volume = 24,
  number = 10,
  month = oct,
  year = 2005,
  pages = {1492--1514},
  pdf = {files/tcad05_qss.pdf},
  doi = {10.1109/TCAD.2005.852038}
}
@article{Cortadella04d,
  author = {Jordi Cortadella and Alex Kondratyev and Luciano Lavagno
            and Alexander Taubin and Yosinori Watanabe},
  title = {Quasi-static Scheduling for Concurrent Architectures},
  journal = {Fundamenta Informaticae},
  volume = 62,
  number = 2,
  pages = {171-196},
  month = jul,
  year = 2004
}
@article{Cortadella03,
  author = {Jordi Cortadella},
  title = {Timing-driven logic bi-decomposition},
  journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  volume = 22,
  number = 6,
  month = jun,
  year = 2003,
  pages = {675--685},
  pdf = {files/tcad03_bidec.pdf},
  doi = {10.1109/TCAD.2003.811447}
}
@article{Saito02,
  author = {Hiroshi Saito and Alex Kondratyev and Jordi Cortadella and
               Luciano Lavagno and Takashi Nanya and Alexander Yakovlev},
  title = {Design of asynchronous controllers with delay insensitive
               interface},
  journal = {IEICE Transactions on Fundamentals of Electronics,
                   Communications and Computer Sciences},
  volume = {E85-A},
  number = 12,
  pages = {2577--2585},
  month = dec,
  year = 2002,
  pdf = {files/ieicetf02.pdf}
}
@article{Carmona02,
  author = {Josep Carmona and Jordi Cortadella and Enric Pastor},
  title = {A structural encoding technique for the synthesis of
               asynchronous circuits},
  journal = {Fundamenta Informaticae},
  year = 2002,
  volume = 50,
  number = 2,
  month = mar,
  pages = {135--154},
  pdf = {files/fi02.pdf}
}
@article{Cortadella02b,
  author = {Jordi Cortadella and Michael Kishinevsky and Steve M. Burns
               and Alex Kondratyev and Luciano Lavagno and Ken S. Stevens
               and Alexander Taubin and Alexandre Yakovlev},
  title = {Lazy transition systems and asynchronous circuit synthesis
              with relative timing assumptions},
  journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  year = 2002,
  month = feb,
  volume = 21,
  number = 2,
  pages = {109-130},
  pdf = {files/tcad02_rt.pdf},
  doi = {10.1109/43.980253}
}
@article{Pastor01,
  author = {Enric Pastor and Jordi Cortadella and Oriol Roig},
  title = {Symbolic Analysis of Bounded {P}etri Nets},
  journal = {IEEE Transactions on Computers},
  year = 2001,
  month = may,
  volume = 50,
  number = 5,
  pages = {432--448},
  pdf = {files/tc01_pn.pdf},
  doi = {10.1109/12.926158}
}
@article{Cortadella99,
  author = {Jordi Cortadella and Michael Kishinevsky and Alex Kondratyev and
     Luciano Lavagno and Enric Pastor and Alexandre Yakovlev},
  title = {Decomposition and Technology Mapping of Speed-Independent
              Circuits Using {Boolean} Relations},
  journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  year = 1999,
  month = sep,
  volume = 18,
  number = 9,
  pages = {1221--1236},
  pdf = {files/tcad99_br.pdf},
  doi = {10.1109/43.784116}
}
@article{Sanchez99,
  author = {Ferm\'{\i}n S\'anchez and Jordi Cortadella},
  title = {Optimal exploration of the unrolling degree for software
     pipelining},
  journal = {Journal of Systems Architecture},
  volume = 45,
  number = {6--7},
  pages = {505--517},
  year = 1999,
  ps = {files/jsa99_unrolling.ps.gz}
}
@article{Kondratyev99,
  author = {Alex Kondratyev and Jordi Cortadella and Michael Kishinevsky and
     Luciano Lavagno and Alexander Yakovlev},
  title = {Logic Decomposition of Speed-Independent Circuits},
  journal = {Proceedings of the IEEE},
  pages = {347--362},
  year = 1999,
  month = feb,
  volume = 87,
  number = 2,
  pdf = {files/pieee99_decomp.pdf},
  doi = {10.1109/5.740027}
}
@article{Musoll98,
  author = {Enric Musoll and Tom\'as Lang and Jordi Cortadella},
  title = {Working-Zone Encoding for Reducing the Energy in
               Microprocessor Address Buses},
  journal = {IEEE Transactions on Very Large Scale Integration (VLSI) Systems},
  pages = {568--572},
  year = 1998,
  month = dec,
  volume = 6,
  number = 4,
  pdf = {files/tvlsi98_encoding.pdf},
  doi = {10.1109/92.736129}
}
@article{Pastor98,
  author = {Enric Pastor and Jordi Cortadella and Alex Kondratyev and Oriol
     Roig},
  title = {Structural Methods for the Synthesis of Speed-Independent
               Circuits},
  journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  pages = {1108--1129},
  year = 1998,
  month = nov,
  volume = 17,
  number = 11,
  pdf = {files/tcad98_struct.pdf},
  doi = {10.1109/43.736185}
}
@article{Cortadella98,
  author = {Jordi Cortadella and Michael Kishinevsky and Luciano Lavagno and
     Alexandre Yakovlev},
  title = {Deriving {Petri} Nets from Finite Transition Systems},
  journal = {IEEE Transactions on Computers},
  pages = {859--882},
  year = 1998,
  month = aug,
  volume = 47,
  number = 8,
  pdf = {files/tc98_synpn.pdf},
  doi = {10.1109/12.707587}
}
@article{Musoll98b,
  author = {Enric Musoll and Jordi Cortadella},
  title = {Register-Transfer Level Transformations for Low-Power
	       Data-Paths},
  journal = {Integrated Computer-Aided Engineering},
  volume = 5,
  number = 4,
  pages = {315--332},
  year = 1998
}
@article{Sanchez98,
  author = {Ferm\'{\i}n S\'anchez and Jordi Cortadella},
  title = {Reducing Register Pressure in Software Pipelining},
  journal = {Journal of Information Science and Engineering (special issue
      on Compiler Techniques for High-Performace Computing)},
  volume = 14,
  number = 1,
  month = mar,
  year = 1998,
  pages = {265--279}
}
@article{Kondratyev98b,
  author = {A. Kondratyev and M. Kishinevsky and A. Taubin and J. Cortadella
     and L. Lavagno},
  title = {The use of {Petri} nets for the design and verification of
     asynchronous circuits and systems},
  journal = {Journal of Circuits Systems and Computers},
  pages = {67--118},
  year = 1998,
  volume = 8,
  number = 1,
  ps = {files/jcsc98.ps.gz}
}
@article{Cortadella97b,
  author = {Jordi Cortadella and Michael Kishinevsky and Alex Kondratyev
     and Luciano Lavagno and Alexandre Yakovlev},
  title = {A Region-Based Theory for State Assignment in Speed-Independent
     Circuits},
  journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  pages = {793--812},
  year = 1997,
  month = aug,
  volume = 16,
  number = 8,
  pdf = {files/tcad97_csc.pdf},
  doi = {10.1109/43.644602}
}
@article{Lang97,
  author = {Tom\'as Lang and Enric Musoll and Jordi Cortadella},
  title = {Individual Flip-Flops with Gated Clocks for Low-Power
               Datapaths},
  journal = {IEEE Transactions on Circuits and Systems II},
  volume = 44,
  number = 6,
  month = jun,
  year = 1997,
  pages = {507--516},
  pdf = {files/tcas97_ff.pdf},
  doi = {10.1109/82.592586}
}
@article{Cortadella97c,
  author = {J. Cortadella and M. Kishinevsky and A.Kondratyev and L. Lavagno
     and A. Yakovlev},
  title = {{Petrify}: a tool for manipulating concurrent specifications and
     synthesis of asynchronous controllers},
  journal = {IEICE Transactions on Information and Systems},
  pages = {315--325},
  year = 1997,
  month = mar,
  volume = {E80-D},
  number = 3,
  pdf = {files/petrify_ieice97.pdf}
}
@article{Cortadella94a,
  author = {Jordi Cortadella and Tom\'as Lang},
  title = {High-radix division and square root with speculation},
  journal = {IEEE Transactions on Computers},
  volume = 43,
  number = 8,
  month = aug,
  year = 1994,
  pages = {919--931},
  pdf = {files/tc94_div.pdf},
  doi = {10.1109/12.295854}
}
@article{Sanchez93,
  author = {Ferm\'{\i}n S\'anchez and Jordi Cortadella},
  title = {Resource-constrained pipelining based on loop transformations},
  journal = {Microprocessing and Microprogramming},
  volume = 38,
  number = {1--5},
  pages = {429--436},
  month = sep,
  year = 1993,
  pdf = {files/euromicro93_loop.pdf}
}
@article{Badia93a,
  author = {Rosa M. Badia and Jordi Cortadella},
  title = {{GLASS}: a graph-theoretic approach for global binding},
  journal = {Microprocessing and Microprogramming},
  volume = 38,
  number = {1--5},
  pages = {775--782},
  month = sep,
  year = 1993,
  ps = {files/euromicro93_glass.ps.gz}
}
@article{Cortadella92a,
  author = {Jordi Cortadella and Jos\'e M. Llaber\'{\i}a},
  title = {Evaluation of {$A+B=K$} conditions without carry propagation},
  journal = {IEEE Transactions on Computers},
  volume = 41,
  number = 11,
  pages = {1484--1488},
  month = nov,
  year = 1992,
  pdf = {files/tc92_abk.pdf},
  doi = {10.1109/12.177318}
}
@article{Cortadella92d,
  author = {Jordi Cortadella and Teodor Jov\'e},
  title = {Comments on {''Using Cache Mechanisms to Exploit non-Refreshing
               DRAM's for On-Chip Memories''}},
  journal = {IEEE Journal of Solid-State Circuits},
  volume = 27,
  number = 1,
  pages = {132},
  month = jan,
  year = 1992,
  pdf = {files/jssc92_cache.pdf},
  doi = {10.1109/4.109570}
}
@article{Cortadella91a,
  author = {Jordi Cortadella and Rosa M. Badia and Eduard Ayguad\'e},
  title = {Scheduling in a Continuous Area-Time Design Space},
  journal = {Microprocessing and Microprogramming},
  volume = 32,
  number = {1--5},
  pages = {199--206},
  month = aug,
  year = 1991
}
@article{jove89,
  author = {Teodor Jov\'e and Jordi Cortadella},
  title = {Reduced Instruction Buffer for {RISC} Architectures},
  journal = {Microprocessing and Microprogramming},
  volume = 27,
  number = {1--5},
  pages = {1987-1993},
  month = aug,
  year = 1989
}
@article{cortadella89,
  author = {Jordi Cortadella and Jos\'e M. Llaber\'{\i}a},
  title = {Making Branches Transparent to the Execution Unit},
  journal = {International Journal of Mini and Microcomputers},
  volume = 11,
  number = 1,
  pages = {13--17},
  month = jan,
  year = 1989
}
@article{cortadella88c,
  author = {Jordi Cortadella and Teodor Jov\'e},
  title = {Dynamic {RAM} for On-Chip Instruction Caches},
  journal = {Computer Architecture News},
  volume = 16,
  number = 4,
  pages = {45--50},
  month = sep,
  year = 1988
}
@article{gonzalez88a,
  author = {Antonio Gonz\'alez and Jos\'e M. Llaber\'{\i}a and Jordi
               Cortadella},
  title = {A Mechanism for reducing the cost of branches in {RISC}
               architectures},
  journal = {Microprocessing and Microprogramming},
  volume = 24,
  number = {1--5},
  pages = {565--572},
  month = aug,
  year = 1988
}
@article{cortadella88b,
  author = {Jordi Cortadella and Teodor Jov\'e},
  title = {Designing a Branch Target Buffer for Executing Branches with
               Zero Time Cost in a {RISC} Processor},
  journal = {Microprocessing and Microprogramming},
  volume = 24,
  number = {1--5},
  pages = {573--580},
  month = aug,
  year = 1988
}
@article{Cortadella88,
  author = {Jordi Cortadella and Antonio Gonz\'alez and Jos\'e M.
               Llaber\'{\i}a},
  title = {{RISC}: un nuevo enfoque en el dise{\~n}o de procesadores},
  journal = {Mundo electr\'onico},
  volume = 180,
  pages = {49--57},
  month = jan,
  year = 1988
}

This file was generated by bibtex2html 1.99.