Browsing by Author "Ferreira, Jose M."
Now showing 1 - 8 of 8
Results Per Page
Sort Options
- An Automated Verification Process Based on Scan TechniquePublication . Alves, Gustavo R.; Krug, Margrit R.; Lubaszewski, Marcelo S.; Ferreira, Jose M.Matching the results achieved during circuit simulation with those extracted from circuit functioning is a common verification process. A large number of current verification techniques use the input / output vectors produced during functional simulation as the test vectors applied / compared against the circuit responses. Techniques that are more complete include extracting the values of internal sequential nodes and comparing these using internal scans. This paper describes a solution for verifying digital designs implemented in currently commercial available CPLDs. All internal flip-flops are included in a scan-chain accessible through the BST infrastructure (using a user-defined optional instruction), while the BS cells are used to apply the input test vectors and capture the circuit responses. These BS cells can either belong to the device-under-test or to other devices, the first controlled through the optional INTEST instruction and the second controlled through the mandatory EXTEST instruction. To speed up the verification process, the test program is automatically generated from information that encompasses the design & development phase.
- A Built-In Mixed-signal Block Observer (BIMBO) to improve observability in 1149.4 environmentsPublication . Felgueiras, Carlos; Alves, Gustavo R.; Ferreira, Jose M.This document proposes an extension to the IEEE 1149.4 test infrastructure [1], whereby a bank of sigma-delta first order modulators enables the simultaneous observation of several analog pins in a single component. The modulator output bit streams are shifted out and made available to an external test controller that comprises the corresponding bank of decimation filters and other decision and control logic. The architecture proposed is fully non-intrusive and may be used to support debug and test operations in mixed-signal environments.
- From Circuit Simulation to Circuit Verification: An Internal + Boundary Scan-based SolutionPublication . Alves, Gustavo R.; Krug, Margrit R.; Lubaszewski, Marcelo; Ferreira, Jose M.Matching the results obtained from circuit simulation with those extracted from circuit functioning is a common stage of the final verification process. Many current verification techniques use the I/O vectors produced during functional and / or timing simulation, for creating the test vectors to be applied / compared against the circuit responses. Techniques that are more complete include extracting the values of internal sequential nodes and comparing these using internal scans. This paper describes such a solution for verifying digital designs implemented in currently commercial available CPLDs. The test program is automatically generated from information that encompasses the design & development phase, namely: the file containing the results from simulation, the BSDL file, an internal scan chain description file, and one file containing the user options.
- Implementing a Self- Checking PROFIBUS SlavePublication . Krug, Margrit R.; Lubaszewski, Marcelo S.; Ferreira, Jose M.; Alves, Gustavo R.This work presents the study and preliminary results of the high level implementation of a self-checking Profibus slave. From an existing VHDL description of the device, a test strategy was studied and implemented, so that the whole circuit has embedded test structures capable to perform at-speed test of the slave. In this paper, we show the used test strategies and implementation results achieved from a synthesis process in a FPGA environment.
- Projecto para o Teste e Depuração com Base nas Arquitecturas IEEE 1149.1 e 1149.4Publication . Alves, Gustavo R.; Ferreira, Jose M.A infraestrutura Boundary Scan Test (BST), definida na norma IEEE 1149.1, tem sido tradicionalmente utilizada para o teste estrutural de Cartas de Circuito Impresso (CCI) na fase de produção [1, 2]. O seu aparecimento deveu-se, entre outras razões, à crescente dificuldade das tradicionais tecnologias de teste de CCI (o teste in-circuit e o teste funcional) em lidar com os novos tipos de encapsulamento de Circuitos Integrados (CI) e com a sua crescente complexidade. A utilização de CI de montagem superficial veio reduzir o distanciamento entre os pinos e permitir a montagem de componentes em ambos os lados da CCI, dificultando assim o acesso físico requerido pelo teste incircuit. A crescente complexidade veio por sua vez dificultar a propagação de valores no interior da CCI, diminuindo assim a qualidade do teste funcional
- Remote Electronics Workbench – taking the lab homePublication . Alves, Gustavo R.; Cardoso, Antonio; Ferreira, Jose M.Students usually regard lab classes as the opportunity to practice learnt theory. Some would even pass more time in the lab performing new or the same experiment with slightly different parameters, if allowed to. Benefiting from the experience gained in the PEARL (Practical Experimentation by Accessible Remote Learning) project, the University of Porto has developed a Remote Electronics Workbench (REW) that allows students to carry out real experiments in electronics, from their home computer, through web-based access. The REW includes: interfaces to experimental scenarios; real video feedback from the lab environment; video-conference facilities to enable student-to- student and student-to-tutor dialogue; and registration and booking pages to new and registered users, respectively. It is also a constituting part of a proposal to create a Remote Experimentation Network covering both European and Latin-American countries, under the Alfa II programme.
- Robust Configurable System Design with Built- In Self-HealingPublication . Gericota, Manuel G.; Alves, Gustavo R.; Ferreira, Jose M.The new generations of SRAM-based FPGA (Field Programmable Gate Array) devices, built on nanometre technology, are the preferred choice for the implementation of reconfigurable computing platforms. However, their vulnerability to hard and soft errors is a major weakness to robust system design based on FPGAs. In this paper, a novel Built-In Self-Healing (BISH) methodology, based on modular redundancy and on self- reconfiguration, is proposed. A soft microprocessor core implemented in the FPGA is responsible for the management and execution of all the BISH procedures. Fault detection and diagnosis is followed by repairing actions, taking advantage of the self-configuration features. Meanwhile, modular redundancy assures that the system still works correctly. This approach leads to a robust system design able to assure high reliability, availability and data integrity.
- Sistema Modular para o Teste de Cartas de Circuito Impresso com BSTPublication . Alves, Gustavo R.; Gericota, Manuel; Ramalho, Jose L.; Ferreira, Jose M.Esta comunicação apresenta a arquitectura física de um sistema modular para o teste e validação de Cartas de Circuito Impresso (CCI) que disponham de uma infraestrutura compatível com a norma IEEE 1149.1, vulgarmente designada por Boundary Scan Test (BST). A arquitectura global do sistema compreende ainda um nível lógico constituído por um pacote de apoio informático para a geração automática de programas de teste.