17 results on '"MASSIMO VIOLANTE"'
Search Results
2. Layout and Radiation Tolerance Issues in High-Speed Links
- Author
-
M. Capodiferro, Alberto Aloisio, Valerio Bocci, Luca Sterpone, Massimo Violante, Vincenzo Izzo, R. Giordano, Giordano, Raffaele, and Aloisio, Alberto
- Subjects
Nuclear and High Energy Physics ,Engineering ,computer.software_genre ,Programmable logic array ,Optical fiber communication ,Data acquisition ,Application-specific integrated circuit ,Tolerance computing ,Robustness (computer science) ,rad-tolerance ,Electronic engineering ,Physic ,Static random-access memory ,Electrical and Electronic Engineering ,Field-programmable gate array ,FPGA ,erial links ,Firmware ,business.industry ,Application specific integrated circuit ,Field programmable gate array ,Logic gate ,Nuclear Energy and Engineering ,Embedded system ,business ,computer ,SEU - Abstract
High-speed optical links are often used in trigger and data acquisition systems of High Energy Physics (HEP) experiments for data transfer, trigger and fast control distribution. Many experiments prefer the use of commercial off-the-shelf components (COTS) if possible, in order to avoid the non-recurrent engineering (NRE) costs and risks associated with the design of application specific integrated circuits. For the mentioned reason, static random access memory-based field programmable gate arrays (SRAM-based FPGAs) are usually deployed. However they are mostly used off-detector, where little or no radiation is present, since single event upsets in the configuration memory may alter the design functionality. In order to benefit from SRAM-based FPGAs also in radiation environments expected on-detector, suitable soft-error mitigation strategies must be adopted. In this work we evaluate the design trade-offs between performance and radiation-tolerance in a high-speed fixed-latency link based on a Virtex-5 SRAM-based FPGA. We evaluate different radiation mitigation strategies. Moreover, we experimentally verify some custom-developed placement and routing rules aimed at improving the FPGA firmware robustness against configuration upsets.
- Published
- 2015
- Full Text
- View/download PDF
3. Layout-Aware Multi-Cell Upsets Effects Analysis on TMR Circuits Implemented on SRAM-Based FPGAs
- Author
-
Alessandro Paccagnella, A. Panariti, Florent Miller, Simone Gerardin, N. Buard, Luca Sterpone, A. Bocquillon, Massimo Violante, and A. Manuzzato
- Subjects
Scheme (programming language) ,Nuclear and High Energy Physics ,Engineering ,business.industry ,Static analysis ,single event effects ,Integrated circuit layout ,field programmable gate array (FPGA) ,Nuclear Energy and Engineering ,Embedded system ,radiation effects ,Electronic engineering ,Sensitivity (control systems) ,Static random-access memory ,Hardware_ARITHMETICANDLOGICSTRUCTURES ,Electrical and Electronic Engineering ,business ,Field-programmable gate array ,computer ,computer.programming_language ,Electronic circuit - Abstract
Multiple Cell Upsets (MCUs) are becoming a growing concern with the advent of the newest FPGA devices. In this paper we present a methodology suitable for analyzing the sensitivity of circuits implemented in SRAM-based FPGAs, and adopting the TMR mitigation scheme. Data about the layout of the adopted FPGA are obtained by means of laser testing. Then static analysis algorithm uses the collected data to predict the impact of MCUs on designs implemented on SRAM-based FPGAs. Thanks to this approach MCUs affecting physically adjacent cells are considered, only. We report data focusing on a Virtex-II device, showing the capabilities of the proposed method.
- Published
- 2011
- Full Text
- View/download PDF
4. Methodologies to Study Frequency-Dependent Single Event Effects Sensitivity in Flash-Based FPGAs
- Author
-
D. Merodio, Alessandro Paccagnella, Simone Gerardin, A. Manuzzato, Luca Sterpone, Niccolò Battezzati, Christian Poivey, and Massimo Violante
- Subjects
Physics ,Nuclear and High Energy Physics ,Heavy ion radiation ,Operating frequency ,single event effects ,field programmable gate array (FPGA) ,flash based FPGAs ,Space exploration ,Radiation testing ,Nuclear Energy and Engineering ,Computer engineering ,Single event upset ,Robustness (computer science) ,Electronic engineering ,Electrical and Electronic Engineering ,Field-programmable gate array ,Electronic circuit - Abstract
Flash-based FPGAs are more and more interesting for space applications because of their robustness against Single Event Upsets (SEUs) in configuration memory. However, as Single Event Effects (SEEs) are still a concern both for user memory and the configurable logic, accurate evaluations are needed to identify mitigation techniques for securing their use in space missions. In this paper the SEE sensitivity of circuits implemented in Flash-based FPGAs is evaluated with respect to the working frequency and different routing schemes. We outline different methodologies that can be used in order to characterize SEE sensitivity, using both heavy-ions radiation experiments and analytical approaches. Experimental results detail the contributions of different SEEs as a function of operating frequency and routing on a realistic circuit.
- Published
- 2009
- Full Text
- View/download PDF
5. A New Algorithm for the Analysis of the MCUs Sensitiveness of TMR Architectures in SRAM-Based FPGAs
- Author
-
Massimo Violante and Luca Sterpone
- Subjects
Triple modular redundancy ,Nuclear and High Energy Physics ,Random access memory ,Engineering ,business.industry ,Logic block ,Fault tolerance ,Hardware_PERFORMANCEANDRELIABILITY ,Nuclear Energy and Engineering ,Embedded system ,Electronic engineering ,Static random-access memory ,Hardware_ARITHMETICANDLOGICSTRUCTURES ,Electrical and Electronic Engineering ,business ,Field-programmable gate array ,Electronic circuit - Abstract
In this paper we present an analytical analysis of the fault masking capabilities of triple modular redundancy (TMR) hardening techniques in the presence of multiple cell upsets (MCUs) in the configuration memory of SRAM-based field-programmable gate arrays (FPGAs). The analytical method we developed allows an accurate study of the MCUs provoking domain crossing errors that defeat TMR. From our analysis we have found that most of the failures affect configurable logic block's routing resources. The experimental analysis has been performed on two realistic case study circuits. Experimental results are presented and discussed showing in particular that 2-bits MCUs may corrupt TMR 2.6 orders of magnitude more than single cell upsets (SCUs).
- Published
- 2008
- Full Text
- View/download PDF
6. A New Partial Reconfiguration-Based Fault-Injection System to Evaluate SEU Effects in SRAM-Based FPGAs
- Author
-
Luca Sterpone and Massimo Violante
- Subjects
Nuclear and High Energy Physics ,Engineering ,Correctness ,business.industry ,Orders of magnitude (temperature) ,Event (computing) ,Complex system ,Control reconfiguration ,Hardware_PERFORMANCEANDRELIABILITY ,Fault injection ,Nuclear Energy and Engineering ,Embedded system ,Electronic engineering ,Static random-access memory ,Hardware_ARITHMETICANDLOGICSTRUCTURES ,Electrical and Electronic Engineering ,business ,Field-programmable gate array - Abstract
Modern SRAM-based field programmable gate array (FPGA) devices offer high capability in implementing complex system. Unfortunately, SRAM-based FPGAs are extremely sensitive to single event upsets (SEUs) induced by radiation particles. In order to successfully deploy safety- or mission-critical applications, designer need to validate the correctness of the obtained designs. In this paper we describe a system based on partial-reconfiguration for running fault-injection experiments within the configuration memory of SRAM-based FPGAs. The proposed fault-injection system uses the internal configuration capabilities that modern FPGAs offer in order to inject SEU within the configuration memory. Detailed experimental results show that the technique is orders of magnitude faster than previously proposed ones.
- Published
- 2007
- Full Text
- View/download PDF
7. A New Hardware/Software Platform and a New 1/E Neutron Source for Soft Error Studies: Testing FPGAs at the ISIS Facility
- Author
-
Marta Bagatin, Paolo Rech, Alessandro Paccagnella, A. Manuzzato, Massimo Violante, Christopher D. Frost, Antonino Pietropaolo, Salvatore Pontarelli, Carla Andreani, Simone Gerardin, Gian Carlo Cardarilli, Luca Sterpone, Giuseppe Gorini, Violante, M, Sterpone, L, Manuzzato, A, Gerardin, S, Rech, P, Bagatin, M, Paccagnella, A, Andreani, C, Gorini, G, Pietropaolo, A, Cardarilli, G, Pontarelli, S, and Frost, C
- Subjects
Nuclear and High Energy Physics ,Engineering ,Hardware_PERFORMANCEANDRELIABILITY ,Tracing ,Single event upset (SEU) ,FPGA ,neutron source ,radiation testing ,Single Event Upset (SEU) ,Computer Science::Hardware Architecture ,Software ,Electronic engineering ,Neutron ,Static random-access memory ,Electrical and Electronic Engineering ,Field-programmable gate array ,business.industry ,Neutron source ,Radiation testing ,Nuclear Energy and Engineering ,Settore FIS/07 - Fisica Applicata(Beni Culturali, Ambientali, Biol.e Medicin) ,Soft error ,neutron sources ,ING-INF/01 - ELETTRONICA ,Physics::Accelerator Physics ,business ,Computer hardware ,Energy (signal processing) - Abstract
We introduce a new hardware/software platform for testing SRAM-based FPGAs under heavy-ion and neutron beams, capable of tracing the bit-flips in the configuration memory back to the physical resources affected in the FPGA. The validation was performed using, for the first time, the neutron source at the RALILSIS facility. The ISlS beam features a 1/E spectrum, which is similar to the terrestrial one with an acceleration between 107 and 10 8 in the energy range 10-100 MeV. The results gathered on Xilinx SRAM-based FPGAs are discussed in terms of cross section and circuit-level modifications. © 2007 IEEE.
- Published
- 2007
- Full Text
- View/download PDF
8. Hybrid Fault Detection Technique: A Case Study on Virtex-II Pro's PowerPC 405
- Author
-
Massimo Violante, M. Portela-Garcia, Paolo Bernardi, and Luca Sterpone
- Subjects
Nuclear and High Energy Physics ,Engineering ,Virtex ,business.industry ,PowerPC ,Industrial property ,Hybrid approach ,Fault detection and isolation ,Software ,Nuclear Energy and Engineering ,Overhead (business) ,Embedded system ,Electrical and Electronic Engineering ,Field-programmable gate array ,business - Abstract
Hardening processor-based systems against transient faults requires new techniques able to combine high fault detection capabilities with the usual design requirements, e.g., reduced design-time, low area overhead, reduced (or null) accessibility to processor internal hardware. This paper proposes the adoption of a hybrid approach, which combines ideas from previous techniques based on software transformations with the introduction of an Infrastructure IP with reduced memory and performance overheads, to harden system based on the PowerPC 405 core available in Virtex-II Pro FPGAs. The proposed approach targets faults affecting the memory elements storing both the code and the data, independently of their location (inside or outside the processor). Extensive experimental results including comparisons with previous approaches are reported, which allow practically evaluating the characteristics of the method in terms of fault detection capabilities and area, memory and performance overheads
- Published
- 2006
- Full Text
- View/download PDF
9. A new reliability-oriented place and route algorithm for SRAM-based FPGAs
- Author
-
Luca Sterpone and Massimo Violante
- Subjects
Very-large-scale integration ,Triple modular redundancy ,Computer science ,business.industry ,Hardware_PERFORMANCEANDRELIABILITY ,Fault injection ,Fault (power engineering) ,Theoretical Computer Science ,Computational Theory and Mathematics ,Hardware and Architecture ,Embedded system ,Place and route ,Static random-access memory ,Hardware_ARITHMETICANDLOGICSTRUCTURES ,Routing (electronic design automation) ,Field-programmable gate array ,business ,Algorithm ,Software ,Hardware_LOGICDESIGN - Abstract
The very high integration levels reached by VLSI technologies for SRAM-based field programmable gate arrays (FPGAs) lead to high occurrence-rate of transient faults induced by single event upsets (SEUs) in FPGAs' configuration memory. Since the configuration memory defines which circuit an SRAM-based FPGA implements, any modification induced by SEUs may dramatically change the implemented circuit. When such devices are used in safety-critical applications, fault-tolerant techniques are needed to mitigate the effects of SEUs in FPGAs' configuration memory. In this paper, we analyze the effects induced by the SEUs in the configuration memory of SRAM-based FPGAs. The reported analysis outlines that SEUs in the FPGA's configuration memory are particularly critical since they are able to escape well-known fault masking techniques such as triple modular redundancy (TMR). We then present a reliability-oriented place and route algorithm that, coupled with TMR, is able to effectively mitigate the effects of the considered faults. The effectiveness of the new reliability-oriented place and route algorithm is demonstrated by extensive fault injection experiments showing that the capability of tolerating SEU effects in the FPGA's configuration memory increases up to 85 times with respect to a standard TMR design technique
- Published
- 2006
- Full Text
- View/download PDF
10. Early, accurate dependability analysis of CAN-based networked systems
- Author
-
Matteo Sonza Reorda, Julio Pérez Acle, and Massimo Violante
- Subjects
Engineering ,Backbone network ,business.industry ,Node (networking) ,Distributed computing ,Fault tolerance ,Fault injection ,CAN bus ,Software ,Hardware and Architecture ,Embedded system ,Electrical and Electronic Engineering ,business ,Traffic generation model ,Information exchange - Abstract
Many safety-critical applications today rely on computer-based systems in which several computing nodes communicate through a network backbone. As the complexity of the systems under analysis grows, designers must devise fault-injection models that strike a balance between two conflicting requirements: On the one hand, models should be as close as possible to a system's physical implementation to reflect precisely the effects of real faults. On the other hand, abstract, easily manageable models minimize the time required for the fault-injection experiments, letting designers analyze sets of faults wide enough to provide statistically meaningful information. In addressing this issue, we have devised a fault-injection environment to study the effects of soft errors in CAN networks. Our cosimulation environment consists of two modules. The first, a traffic generator module implemented in software, emulates the applications running in each node of the network. The second, a network backbone module implemented in hardware, simulates the activities involved in information exchange between network nodes, in compliance with the CAN protocol specification. To allow evaluation of complex workloads as well as large fault lists, we use an FPGA board to emulate the network backbone module. This enables cycle-accurate simulations of the entire network's behavior with very low speed penalties.
- Published
- 2006
- Full Text
- View/download PDF
11. Analysis of the robustness of the TMR architecture in SRAM-based FPGAs
- Author
-
Luca Sterpone and Massimo Violante
- Subjects
Nuclear and High Energy Physics ,Engineering ,business.industry ,Hardware_PERFORMANCEANDRELIABILITY ,Programmable logic array ,Nuclear Energy and Engineering ,Robustness (computer science) ,Embedded system ,Electronic engineering ,Redundancy (engineering) ,Static random-access memory ,Hardware_ARITHMETICANDLOGICSTRUCTURES ,Electrical and Electronic Engineering ,business ,Field-programmable gate array ,Hardware_LOGICDESIGN ,Electronic circuit - Abstract
Non radiation-hardened SRAM-based Field Programmable Gate Arrays (FPGAs) are very sensitive to Single Event Upsets (SEUs) affecting their configuration memory and thus suitable hardening techniques are needed when they are intended to be deployed in critical applications. Triple Module Redundancy is a known solution for hardening digital logic against SEUs that is widely adopted for traditional techniques (like ASICs). In this paper we present an analysis of the SEU effects in circuits hardened according to the Triple Module Redundancy to investigate the possibilities of successfully applying TMR to designs mapped on commercial-off-the-shelf SRAM-based FPGAs, which are not radiation hardened. We performed different fault-injection experiments in the FPGA configuration memory implementing TMR designs and we observed that the percentage of SEUs escaping TMR could reach 13%. In this paper we report detailed evaluations of the effects of the observed failure rates, and we proposed a first step toward an improved TMR implementation.
- Published
- 2005
- Full Text
- View/download PDF
12. Simulation-based analysis of SEU effects in SRAM-based FPGAs
- Author
-
M. Ceschia, Paolo Bernardi, Luca Sterpone, Massimo Violante, Alessandro Paccagnella, Matteo Sonza Reorda, and Damiano Bortolato
- Subjects
Nuclear and High Energy Physics ,Computer science ,Event (computing) ,Hardware_PERFORMANCEANDRELIABILITY ,Measure (mathematics) ,Programmable logic array ,Cross section (physics) ,Nuclear Energy and Engineering ,Electronic engineering ,Static random-access memory ,Hardware_ARITHMETICANDLOGICSTRUCTURES ,Electrical and Electronic Engineering ,Field-programmable gate array ,Simulation based ,Hardware_LOGICDESIGN ,Electronic circuit - Abstract
SRAM-based field programmable gate arrays (FPGAs) are particularly sensitive to single event upsets (SEUs) that, by changing the FPGA's configuration memory, may affect dramatically the functions implemented by the device. In This work we describe a new approach for predicting SEU effects in circuits mapped on SRAM-based FPGAs that combines radiation testing with simulation. The former is used to characterize (in terms of device cross section) the technology on which the FPGA device is based, no matter which circuit it implements. The latter is used to predict the probability for a SEU to alter the expect behavior of a given circuit. By combining the two figures, we then compute the cross section of the circuit mapped on the pre-characterized device. Experimental results are presented that compare the approach we developed with a traditional one based on radiation testing only, to measure the cross section of a circuit mapped on an FPGA. The figures here reported confirm the accuracy of our approach.
- Published
- 2004
- Full Text
- View/download PDF
13. Impact of data cache memory on the single event upset-induced error rate of microprocessors
- Author
-
F. Faure, Matteo Sonza Reorda, Maurizio Rebaudengo, Raoul Velazco, Massimo Violante, Istituto di Astrofisica Spaziale e Fisica Cosmica - Milano (IASF-MI), Istituto Nazionale di Astrofisica (INAF), Techniques de l'Informatique et de la Microélectronique pour l'Architecture des systèmes intégrés (TIMA), Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS), Techniques of Informatics and Microelectronics for integrated systems Architecture (TIMA), and Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)
- Subjects
Nuclear and High Energy Physics ,microprocessors ,Computer science ,CPU cache ,Pipeline burst cache ,Hardware_PERFORMANCEANDRELIABILITY ,02 engineering and technology ,Parallel computing ,Cache pollution ,01 natural sciences ,0103 physical sciences ,0202 electrical engineering, electronic engineering, information engineering ,[SPI.NANO]Engineering Sciences [physics]/Micro and nanotechnologies/Microelectronics ,Electrical and Electronic Engineering ,Hardware_MEMORYSTRUCTURES ,010308 nuclear & particles physics ,data-cache-memory ,020202 computer hardware & architecture ,single-event-upset-induced-error-rate ,Smart Cache ,Soft error ,Nuclear Energy and Engineering ,Single event upset ,PACS 85.42 ,Bus sniffing ,Cache - Abstract
Cache memories embedded in most of complex processors significantly contribute to the global single event upset-induced error rate. Three different approaches allowing the study of this contribution by fault injection are investigated in this paper.
- Published
- 2003
- Full Text
- View/download PDF
14. Identification and classification of single-event upsets in the configuration memory of SRAM-based FPGAs
- Author
-
M. Ceschia, M. Bellato, Massimo Violante, Alessandro Paccagnella, A. Candelori, Paolo Bernardi, Damiano Bortolato, Maurizio Rebaudengo, M. Sonza-Reorda, and P. Zambolin
- Subjects
Combinational logic ,Nuclear and High Energy Physics ,Engineering ,business.industry ,Hardware_PERFORMANCEANDRELIABILITY ,Fault injection ,Fault (power engineering) ,Nuclear Energy and Engineering ,Single event upset ,Embedded system ,Lookup table ,Electronic engineering ,Static random-access memory ,Hardware_ARITHMETICANDLOGICSTRUCTURES ,Electrical and Electronic Engineering ,Interrupt ,business ,Field-programmable gate array - Abstract
This paper presents the radiation testing of a commercial-off-the-shelf SRAM-based field-programmable gate arrays (FPGAs) with heavy ions. Test experiments have been conducted to identify and to classify the single-event upsets (SEUs) in the configuration memory that induce single-event functional interrupt for the user-implemented circuit. Moreover the paper presents a new approach for assessing the effects of SEUs based on the combination of radiation testing and simulation-based fault injection tool. First experimental results show the FPGA look-up table (LUT) resources (used to implement combinatorial logic) are the most sensitive to SEUs, whereas interconnect resources are the most critical for the device cross section because they use the largest number of configuration bits. The analysis of experimental data underlines that the most probable error affecting interconnections is the shorting of two nets. This observation indicates that new fault models should be considered along with the classic stuck-at one model designing fault-tolerant architectures, which are intended for implementation in FPGA devices.
- Published
- 2003
- Full Text
- View/download PDF
15. Accurate single-event-transient analysis via zero-delay logic simulation
- Author
-
Massimo Violante
- Subjects
Combinational logic ,Nuclear and High Energy Physics ,Speedup ,Sequential logic ,Computer science ,Logic simulation ,Zero (complex analysis) ,Hardware_PERFORMANCEANDRELIABILITY ,Orders of magnitude (voltage) ,Nuclear Energy and Engineering ,Electronic engineering ,Electrical and Electronic Engineering ,Algorithm ,Logic optimization ,Event (probability theory) - Abstract
We describe an approach for analyzing single-event transients (SETs) in combinational circuits. The approach analyzes SETs via zero-delay simulation with the same accuracy of timing simulators, but with a speedup of three orders of magnitude.
- Published
- 2003
- Full Text
- View/download PDF
16. Exploiting circuit emulation for fast hardness evaluation
- Author
-
Massimo Violante, Matteo Sonza Reorda, Pierluigi Civera, Maurizio Rebaudengo, and Luca Macchiarulo
- Subjects
Very-large-scale integration ,Nuclear and High Energy Physics ,Engineering ,business.industry ,Orders of magnitude (temperature) ,Circuit design ,Hardware_PERFORMANCEANDRELIABILITY ,Fault injection ,Discrete circuit ,Circuit extraction ,Nuclear Energy and Engineering ,Hardening (metallurgy) ,Electronic engineering ,Electrical and Electronic Engineering ,business ,Field-programmable gate array - Abstract
Hardware designers need effective techniques for early evaluation of the hardening mechanisms adopted in safety-critical VLSI circuits. We propose field-programmable gate-array based circuit emulation for performing fault-injection campaigns. Experimental results show that the new technique is about four orders of magnitude faster than simulation-based fault injection.
- Published
- 2001
- Full Text
- View/download PDF
17. Experimentally evaluating an automatic approach for generating safety-critical software with respect to transient errors
- Author
-
Raoul Velazco, M. Sonza Reorda, P. Cheynet, Massimo Violante, B. Nicolescu, Maurizio Rebaudengo, Techniques of Informatics and Microelectronics for integrated systems Architecture (TIMA), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA), Dipartimento di Automatica e Informatica [Torino] (DAUIN), Politecnico di Torino [Torino] (Polito), Techniques de l'Informatique et de la Microélectronique pour l'Architecture des systèmes intégrés (TIMA), Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS), and Politecnico di Torino = Polytechnic of Turin (Polito)
- Subjects
Nuclear and High Energy Physics ,Computer science ,transient-error ,high-level-code ,02 engineering and technology ,Fault detection and isolation ,redundancy ,Software ,Software fault tolerance ,0202 electrical engineering, electronic engineering, information engineering ,Redundancy (engineering) ,N-version programming ,microprocessor ,[SPI.NANO]Engineering Sciences [physics]/Micro and nanotechnologies/Microelectronics ,Electrical and Electronic Engineering ,business.industry ,020207 software engineering ,Control engineering ,automatic-generation ,safety-critical-software ,020202 computer hardware & architecture ,Reliability engineering ,Nuclear Energy and Engineering ,PACS 85.42 ,Fault coverage ,business ,on-line-fault-detection - Abstract
This paper deals with a software modification strategy allowing on-line detection of transient errors. Being based on a set of rules for introducing redundancy in the high-level code, the method can be completely automated, and is therefore particularly suited for low-cost safety-critical microprocessor-based applications. Experimental results are presented and discussed, demonstrating the effectiveness of the approach in terms of fault detection capabilities.
- Published
- 2000
- Full Text
- View/download PDF
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.