-
Practical Boolean Decomposition for Delay-driven LUT Map**
Authors:
Alessandro Tempia Calvino,
Alan Mishchenko,
Giovanni De Micheli,
Robert Brayton
Abstract:
Ashenhurst-Curtis decomposition (ACD) is a decomposition technique used, in particular, to map combinational logic into lookup tables (LUTs) structures when synthesizing hardware designs. However, available implementations of ACD suffer from excessive complexity, search-space restrictions, and slow run time, which limit their applicability and scalability. This paper presents a novel fast and vers…
▽ More
Ashenhurst-Curtis decomposition (ACD) is a decomposition technique used, in particular, to map combinational logic into lookup tables (LUTs) structures when synthesizing hardware designs. However, available implementations of ACD suffer from excessive complexity, search-space restrictions, and slow run time, which limit their applicability and scalability. This paper presents a novel fast and versatile technique of ACD suitable for delay optimization. We use this new formulation to compute two-level decompositions into a variable number of LUTs and enhance delay-driven LUT map** by performing ACD on the fly. Compared to state-of-the-art technology map**, experiments on heavily optimized benchmarks demonstrate an average delay improvement of 12.39%, and area reduction of 2.20% with affordable run time. Additionally, our method improves 4 of the best delay results in the EPFL synthesis competition without employing design-space exploration techniques.
△ Less
Submitted 10 June, 2024;
originally announced June 2024.
-
Machine learning applied to omics data
Authors:
Aida Calviño,
Almudena Moreno-Ribera,
Silvia Pineda
Abstract:
In this chapter we illustrate the use of some Machine Learning techniques in the context of omics data. More precisely, we review and evaluate the use of Random Forest and Penalized Multinomial Logistic Regression for integrative analysis of genomics and immunomics in pancreatic cancer. Furthermore, we propose the use of association rules with predictive purposes to overcome the low predictive pow…
▽ More
In this chapter we illustrate the use of some Machine Learning techniques in the context of omics data. More precisely, we review and evaluate the use of Random Forest and Penalized Multinomial Logistic Regression for integrative analysis of genomics and immunomics in pancreatic cancer. Furthermore, we propose the use of association rules with predictive purposes to overcome the low predictive power of the previously mentioned models. Finally, we apply the reviewed methods to a real data set from TCGA made of 107 tumoral pancreatic samples and 117,486 germline SNPs, showing the good performance of the proposed methods to predict the immunological infiltration in pancreatic cancer.
△ Less
Submitted 8 February, 2024;
originally announced February 2024.
-
Inference for a Step-Stress Model With Type-II and Progressive Type-II Censoring and Lognormally Distributed Lifetimes
Authors:
Aida Calviño
Abstract:
Accelerated life-testing (ALT) is a very useful technique for examining the reliability of highly reliable products. It allows testing the products at higher than usual stress conditions to induce failures more quickly and economically than under typical conditions. A special case of ALT are step-stress tests that allow experimenter to increase the stress levels at fixed times. This paper deals wi…
▽ More
Accelerated life-testing (ALT) is a very useful technique for examining the reliability of highly reliable products. It allows testing the products at higher than usual stress conditions to induce failures more quickly and economically than under typical conditions. A special case of ALT are step-stress tests that allow experimenter to increase the stress levels at fixed times. This paper deals with the multiple step step-stress model under the cumulative exposure model with lognormally distributed lifetimes in the presence of Type-II and Progressive Type-II censoring. For this model, the maximum likelihood estimates (MLE) of its parameters, as well as the corresponding observed Fisher Information Matrix (FI), are derived. The likelihood equations do not lead to closed-form expressions for the MLE, and they need to be solved by means of an iterative procedure, such as the Newton-Raphson method. We then evaluate the bias and mean square error of the estimates and provide asymptotic and bootstrap confidence intervals. Finally, in order to asses the performance of the confidence intervals, a Monte Carlo simulation study is conducted.
△ Less
Submitted 14 May, 2020;
originally announced May 2020.
-
The EPFL Logic Synthesis Libraries
Authors:
Mathias Soeken,
Heinz Riener,
Winston Haaswijk,
Eleonora Testa,
Bruno Schmitt,
Giulia Meuli,
Fereshte Mozafari,
Siang-Yun Lee,
Alessandro Tempia Calvino,
Dewmini Sudara Marakkalage,
Giovanni De Micheli
Abstract:
We present a collection of modular open source C++ libraries for the development of logic synthesis applications. These libraries can be used to develop applications for the design of classical and emerging technologies, as well as for the implementation of quantum compilers. All libraries are well documented and well tested. Furthermore, being header-only, the libraries can be readily used as cor…
▽ More
We present a collection of modular open source C++ libraries for the development of logic synthesis applications. These libraries can be used to develop applications for the design of classical and emerging technologies, as well as for the implementation of quantum compilers. All libraries are well documented and well tested. Furthermore, being header-only, the libraries can be readily used as core components in complex logic synthesis systems.
△ Less
Submitted 3 June, 2022; v1 submitted 14 May, 2018;
originally announced May 2018.