A system to detect timing problems in digital circuits

Authors
Pelaez, Esteban; Berón, Mario; Salgado, Carlos Humberto; Peralta, Mario; Baigorria, Lorena; Garis, Ana Gabriela; Montejano, Germán Antonio; Riesco, Daniel Eduardo; Henriques, Pedro Rangel
Publication Year
2010
Language
Spanish
Format
conference paper
Status
Published version
Description
Nowadays, the digital circuit production is carried out specifying the circuit functionality using a hardware description language. Then, this specification is synthesized down to a structural netlist suitable for use by the target technologys place-and-route applications. Many synthesis tools make this task introducing some unnecessary gates and wires in the final circuit. As a consequence, it can appear a circuit containing one or more paths that do not influence the circuit output. This kind of non-relevant paths is known as False Path. The problem with false paths is that if they are not considered, the circuit delay may be overestimated during design analysis and optimization. For this reason, the digital circuit industry is looking for effective methods and tools to overcome the mentioned drawbacks. This paper presents a system to detect False Paths based on the analysis of the circuit intermediate specification. The tool analyzes the specification using compilation techniques and then applies some special purpose algorithms for detecting false paths. Furthermore, it shows the gates and wires that are not necessary for the circuit final version.
Presentado en el VII Workshop Ingeniería de Software (WIS)
Red de Universidades con Carreras en Informática (RedUNCI)
Subject
Ciencias Informáticas
SOFTWARE ENGINEERING
false path
syntactic analysis
semantic analysis
hardware description languages
intermediate language
Access level
Open access
License
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
Repository
SEDICI (UNLP)
Institution
Universidad Nacional de La Plata
OAI Identifier
oai:sedici.unlp.edu.ar:10915/19296