Papers by Maria helena Fino
Contributions to Mineralogy and Petrology, 1986
Bookmarks Related papers MentionsView impact
2022 29th International Conference on Mixed Design of Integrated Circuits and System (MIXDES)
Bookmarks Related papers MentionsView impact
2021 28th International Conference on Mixed Design of Integrated Circuits and System, 2021
The paper presents a model-driven methodology for the determination of thin-film transistors comp... more The paper presents a model-driven methodology for the determination of thin-film transistors compact model parameters. The implementation of the proposed extraction methodology in python is presented. The validity of results obtained against devices characteristics is demonstrated. The advantage of the proposed methodology against a previously proposed approached is also discussed.
Bookmarks Related papers MentionsView impact
Lecture Notes in Engineering and Computer Science, 2010
DATICS Workshops were initially created by a network of researchers and engineers both from acade... more DATICS Workshops were initially created by a network of researchers and engineers both from academia and industry in the areas of Design, Analysis and Tools for Integrated Circuits and Systems. Recently, DATICS has been extended to the fields of Communication, Computer Science, Software Engineering and Information Technology.
Bookmarks Related papers MentionsView impact
2022 29th International Conference on Mixed Design of Integrated Circuits and System (MIXDES)
Bookmarks Related papers MentionsView impact
Design of Analog Circuits through Symbolic Analysis, 2012
ABSTRACT This edited book provides an overview of the current state of the art in symbolic analys... more ABSTRACT This edited book provides an overview of the current state of the art in symbolic analysis. The editors have compiled chapters from the key contributors to the field of symbolic analysis. These chapters neatly describe the latest results in terms of algorithms as well as applications of symbolic analysis techniques for analog circuits. Recent algorithmic improvements highlight the potential of today’s symbolic analysis methods, both in terms of circuit complexity and of circuit characteristics that can be analyzed. The second part of the book presents the wide span of applications that utilize symbolic analysis, ranging from behavioral and performance modeling over design centering and fault diagnosis to automated design and system architectural exploration. These chapters clearly demonstrate the potential of symbolic analysis for analog circuits, in complement to or in combination with numerical simulation techniques.
Bookmarks Related papers MentionsView impact
2018 25th International Conference "Mixed Design of Integrated Circuits and System" (MIXDES), 2018
This paper presents the implementation of memristor models in VerilogA. Particular emphasis is gi... more This paper presents the implementation of memristor models in VerilogA. Particular emphasis is given to the modified Biolek memristor model and on its capacity for modeling the nonlinear effects observed in real devices. Results obtained with the implementation of the memristor model using Cadence verilogA compiler are presented.
Bookmarks Related papers MentionsView impact
2018 3rd International Conference of the Portuguese Society for Engineering Education (CISPEE), 2018
Electrical Circuit Theory is a mandatory course on Electro-technical Engineering Degrees. Althoug... more Electrical Circuit Theory is a mandatory course on Electro-technical Engineering Degrees. Although circuit theory basic concepts have long been established, several new challenges have surged on the last two decades, arising from the need of motivating students from the 21stcentury, as well as preparing them for more advanced courses in new areas such as RF and nano-electronics. This paper addresses the use of e-learning techniques as a way of motivating students for apprehending circuit theory concepts and helping them build-up their circuit analysis intuitive skills.
Bookmarks Related papers MentionsView impact
This paper presents an analytical model for CMOS delay and power estimation in deep sub micromete... more This paper presents an analytical model for CMOS delay and power estimation in deep sub micrometer technologies. In this paper the EKV transistor model is considered as a way of granting the accuracy of results in the characterization of deep submicron CMOS circuits. The analytical model proposed is valid for a ramp input signal, and takes into account all the operation regions of the transistor as well the influence of the gate-to-drain capacitance. For estimating the power consumption, a simple numerical integration process is applied to the current wave. An application example considering the use of the model for the evaluation of the delay and power consumption associated to a CMOS inverter is considered. The validity of the results obtained with the proposed model for a 1.2V TSMCN65 CMOS inverter is checked against those obtained through Hspice simulation.
Bookmarks Related papers MentionsView impact
... The parasitic capacitance, Cox, between the spiral metal and the silicon substrate, the Subst... more ... The parasitic capacitance, Cox, between the spiral metal and the silicon substrate, the Substrate resistance, Rsi , and capacitance Csi ... Programming, Design Automation Test in Europe Conference and Exhibition , DATE 2004, [2] Arthur Nieuwoudt, Yehia Massoud, Multi-level ...
Bookmarks Related papers MentionsView impact
Computer-Aided Design …, 1995
Abstruct-Signal flow graphs (SFG's) are a powerful technique to analyze switched-capacitor (... more Abstruct-Signal flow graphs (SFG's) are a powerful technique to analyze switched-capacitor (SC) circuits in a way that provides in-depth information about their operation and direct access to the corresponding symbolic z-transfer functions. Due to lengthy and error-prone ...
Bookmarks Related papers MentionsView impact
2016 MIXDES - 23rd International Conference Mixed Design of Integrated Circuits and Systems, 2016
Bookmarks Related papers MentionsView impact
ABSTRACT This paper presents an analytical model for the delay propagation of a CMOS Invert circu... more ABSTRACT This paper presents an analytical model for the delay propagation of a CMOS Invert circuit. In this paper the Nexp transistor model is considered as a way of granting the accuracy of results in the characterization of submicron CMOS circuits. The analytical model proposed is valid for a ramp input, and takes into account all the operation regions of the transistor and take into account the influence of the gate-to-drain capacitance. An application example considering the use of the model for the evaluation of the delay associated to the CMOS inverter is considered. The validity of the results obtained with analytical model of a 1.8V SMIC018 CMOS inverter is checked against Hspice simulation of the circuit.
Bookmarks Related papers MentionsView impact
ABSTRACT This Chapter presents the optimal design of radio-frequency integrated spiral inductors.... more ABSTRACT This Chapter presents the optimal design of radio-frequency integrated spiral inductors. The basic idea is to generate an analytical model to characterize integrated inductors based on the double π-model, and offer to the designer an approach to determine the inductor layout parameters. Particle Swarm Optimization technique is used to generate optimal values of parameters of the developed models. Viability of the proposed models is highlighted via comparison with ASITIC simulation results.
Bookmarks Related papers MentionsView impact
2015 International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD), 2015
Bookmarks Related papers MentionsView impact
Page 1. Chapter11: SYMBOLIC SIGNAL FLOW GRAPH METHODS IN SWITCHED-CAPACITOR DESIGN M. Helena Fino... more Page 1. Chapter11: SYMBOLIC SIGNAL FLOW GRAPH METHODS IN SWITCHED-CAPACITOR DESIGN M. Helena Fino, STUDENT MEMBER IEEE Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia DEE Email: helena@ecsm4.ist.utl.pt ...
Bookmarks Related papers MentionsView impact
Integration, the VLSI Journal, 2015
ABSTRACT This paper proposes a hybrid methodology for the evaluation of integrated inductors sens... more ABSTRACT This paper proposes a hybrid methodology for the evaluation of integrated inductors sensitivity against technological/geometrical parameters variation. The obtained results are used in an optimization-based design environment for integrated inductors, as a way of guaranteeing that obtained solutions are robust against parameter variation. For the inductor characterization, a lumped element model is used, where each element value is evaluated through physics based equations. The sensitivity of the inductor characterization to parameter variations is evaluated at two levels. At the physical level, the sensitivity of the model element values to technological/geometrical parameters variations is computed through an equation-based strategy. Then, the sensitivity of the inductor characterization to the model parameter variations is obtained through a simulation-based approach, where the Richardson extrapolation technique is used for the calculation of the partial derivatives. Several examples considering the evaluation of sensitivity of both inductance and quality factor of two inductors in UMC130 technology are presented. Obtained results are compared against Monte-Carlo simulations.
Bookmarks Related papers MentionsView impact
2013 5th International Conference on Modeling, Simulation and Applied Optimization (ICMSAO), 2013
ABSTRACT The goal of this paper is to present a comparison among three known metaheuristics: Gene... more ABSTRACT The goal of this paper is to present a comparison among three known metaheuristics: Genetic Algorithm (GA), Particle Swarm Optimization (PSO) and Simulated Annealing (SA). For the comparison, the design of an LC - Voltage Controlled Oscillator (LC-VCO) is considered, where the minimization of both VCO phase noise and power consumption is envisaged. The objective of this comparison is to find the algorithm yielding the best solution. The validity of the solution obtained with each metaheuristic algorithm is checked against HSPICE/RF simulation results. Robustness checks for each algorithm are presented at the end of this paper.
Bookmarks Related papers MentionsView impact
Progressive scaling of CMOS technology towards nanoscale regime enables the design of highly inte... more Progressive scaling of CMOS technology towards nanoscale regime enables the design of highly integrated systems for the wireless communications market. The rapid evolution in telecommunications systems is pushing electronic systems to specifications where technology is driven to its limits. In the particular case for LC-VCOs the complexity of design due to the ever more stringent specifications in terms of phase-noise, area and power has led to the adoption of optimization-based design methodologies. The possibility for exploring design trade-offs is usually implemented through Pareto-optimal surfaces obtained by multi-objective optimization procedures. The timely expensive nature of the Pareto surface generation process makes the simulation-based optimization methodology prohibitive, raising the need for using a compact modelling approach. The work to be presented, addresses the development of an EKV model-based environment for the optimization-based design of LC-VCOs. The optimiza...
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Uploads
Papers by Maria helena Fino