@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{Bernasconi2024_decomposition,
author = {Anna Bernasconi and Valentina Ciriani and Jordi Cortadella and Marco Costa and Tiziano Villa},
title = {Area-driven Boolean bi-decomposition by function approximation},
journal = {ACM Transactions on Design Automation of Electronic Systems},
month = nov,
year = 2024,
volume = 30,
number = 1,
url = {https://doi.org/10.1145/3698879},
doi = {10.1145/3698879}
}
@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},
volume = 43,
number = 7,
month = jul,
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.