Synthesis of all-digital delay lines

© 2017 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other worksThe synthesis of delay lines (DLs) is a core task during the generation of matched delays, ring oscillator clocks or delay monitors. The main figure of merit of a DL is the fidelity to track variability. Unfortunately, complex systems have a great diversity of timing paths that exhibit different sensitivities to static and dynamic variations. Designing DLs that capture this diversity is an ardous task. This paper proposes an algorithmic approach for the synthesis of DLs that can be integrated in a conventional design flow. The algorithm uses heuristics to perform a combinatorial search in a vast space of solutions that combine different types of gates and wire lengths. The synthesized DLs are (1) all digital, i.e., built of conventional standard cells, (2) accurate in tracking variability and (3) configurable at runtime. Experimental results with a commercial standard cell library confirm the quality of the DLs that only exhibit delay mismatches of about 1% on average over all PVT corners.Peer ReviewedPostprint (author's final draft

Waveform Transition Graphs: a designer-friendly formalism for asynchronous behaviours

The paper proposes a new formal model for describing asynchronous behaviours involving the interplay of causality, concurrency and choice. The model is called Waveform Transition Graphs. Its main aim is simplifying the learning process for industrial engineers in accessing powerful synthesis tools provided for Signal Transition Graphs by sacrificing some of the expressive power of the latter. This formalism is developed based on feedback from engineers of Dialog Semiconductor.Peer ReviewedPostprint (author's final draft

State encoding of asynchronous controllers using pseudo-boolean optimization

State encoding of asynchronous controllers is a challenging problem that faces a vast space of solutions. Subtle differences in the insertion of signals may result in significant variations in the complexity of the logic. This paper proposes a novel approach that models the encoding problem as Pseudo-Boolean formula. A cost function that estimates the complexity of the logic is incorporated, where the estimator of essential literals becomes one of the most important terms of the function. The new approach has been tested in 175 benchmarks with encoding conflicts, including 127 four-phase latch controllers. The presence of logic estimators in the formula contributes to an average reduction of 43% in literals when compared to a plain SAT version of the problem, at the expense of a longer runtime. When comparing to the region-based approach in petrify, an average reduction of 14% in literals is obtained.Peer ReviewedPostprint (author's final draft

Ring oscillator clocks and margins

How much margin do we have to add to the delay lines of a bundled-data circuit? This paper is an attempt to give a methodical answer to this question, taking into account all sources of variability and the existing EDA machinery for timing analysis and sign-off. The paper is based on the study of the margins of a ring oscillator that substitutes a PLL as clock generator. A timing model is proposed that shows that a 12% margin for delay lines can be sufficient to cover variability in a 65nm technology. In a typical scenario, performance and energy improvements between 15% and 35% can be obtained by using a ring oscillator instead of a PLL. The paper concludes that a synchronous circuit with a ring oscillator clock shows similar benefits in performance and energy as those of bundled-data asynchronous circuits.Peer ReviewedPostprint (author's final draft

Macroporous silicon for high-capacitance devices using metal electrodes

Peer ReviewedPostprint (published version

Macroporous silicon for high-capacitance devices using metal electrodes

Peer ReviewedPostprint (published version

Interoperability Issues Between Learning Object Repositories and Metadata Harvesters

In this paper we describe an open learning object repository on Statistics based on DSpace which contains true learning objects, that is, exercises, equations, data sets, etc. This repository is part of a large project intended to promote the use of learning object repositories as part of the learning process in virtual learning environments. This involves the creation of a new user interface that provides users with additional services such as resource rating, commenting and so. Both aspects make traditional metadata schemes such as Dublin Core to be inadequate, as there are resources with no title or author, for instance, as those fields are not used by learners to browse and search for learning resources in the repository. Therefore, exporting OAI-PMH compliant records using OAI-DC is not possible, thus limiting the visibility of the learning objects in the repository outside the institution. We propose an architecture based on ontologies and the use of extended metadata records for both storing and refactoring such descriptions

Exploring the Analytical Complexities in Insect Powder Analysis Using Miniaturized NIR Spectroscopy

Insects have been a food source for humans for millennia, and they are actively consumed in various parts of the world. This paper aims to ascertain the feasibility of portable near-infrared (NIR) spectroscopy as a reliable and fast candidate for the classification of insect powder samples and the prediction of their major components. Commercially-available insect powder samples were analyzed using two miniaturized NIR instruments. The samples were analyzed as they are and after grinding, to study the effect of the granulometry on the spectroscopic analyses. A homemade sample holder was designed and optimized for making reliable spectroscopic measurements. Classification was then performed using three classification strategies, and partial least squares (PLS) regression was used to predict the macronutrients. The results obtained confirmed that both spectroscopic sensors were able to classify insect powder samples and predict macronutrients with an adequate detection limit

Interoperability Issues Between Learning Object Repositories and Metadata Harvesters

In this paper we describe an open learning object repository on Statistics based on DSpace which contains true learning objects, that is, exercises, equations, data sets, etc. This repository is part of a large project intended to promote the use of learning object repositories as part of the learning process in virtual learning environments. This involves the creation of a new user interface that provides users with additional services such as resource rating, commenting and so. Both aspects make traditional metadata schemes such as Dublin Core to be inadequate, as there are resources with no title or author, for instance, as those fields are not used by learners to browse and search for learning resources in the repository. Therefore, exporting OAI-PMH compliant records using OAI-DC is not possible, thus limiting the visibility of the learning objects in the repository outside the institution. We propose an architecture based on ontologies and the use of extended metadata records for both storing and refactoring such descriptions

An anatomical study of nerves at risk during minimally invasive hallux valgus surgery

The growing popularity of minimally invasive surgical (MIS) procedures makes it necessary that new anatomical references arise, to aid in tridimensional orientation and localization of structures that are not directly visible to the surgeon. This is especially critical for structures at risk like nerves or blood vessels. Optimization of the handling of cadaveric material and the combination of multiple techniques compensate for the limited availability of adequate specimens. The described protocol combines anatomical plane-by-plane dissection and sectional anatomy of fresh-frozen specimens to help localize relevant structures, such as nerves, arteries, veins and to correctly position the portals during MIS procedures. Depiction of these structures in anatomy textbooks can differ from what is encountered in the surgical field; and for this reason, new anatomical studies with a surgical orientation are needed. However, this is a complex, time-consuming technique requiring specific training. The anatomical references described with the so-called 'clock method' provide the surgeon with an easy and reproducible system to locate the path of the nerves at risk in Hallux Valgus MIS procedures. This model can be extrapolated to many other minimally invasive surgical procedures