Identification of design errors through functional testing

Verification of the functionality of VHDL specifications is one of the primary and most time consuming tasks of design. However, it must necessarily be an incomplete task because it is impossible to completely exercise the specification by exhaustively applying all input patterns. We present a two-step strategy based on symbolic analysis of the VHDL specification, using a behavioral error model. First, we generate a reduced number of functional test vectors for each process of the specification by using a new analysis metric which we call bit coverage. The error model based on this metric allows the identification of possible design errors represented by redundancies in the VHDL code. Then, through the definition of a controllability measure, we verify if these functional test vectors can be applied to the process inputs when it is interconnected to other processes. If this is not the case, the analysis of the nonapplicable inputs provides identification of possible design errors due to erroneous interconnections. The bit-coverage provides complete statement, condition and branch coverage; and we experimentally show that it allows the identification of possible design errors. Identification and removal of design errors improves the global testability of a design.     

Stereoselective Biocatalyzed Reductions of Ginger Active Components Recovered from Industrial Wastes

Ginger is among the most widespread and widely consumed traditional medicinal plants around the world. Its beneficial effects, which comprise e. g. anticancer and anti-inflammatory activities as well as gastrointestinal regulatory effects, are generally attributed to a family of non-volatile compounds characterized by an arylalkyl long-chained alcohol, diol, or ketone moiety. In this work, ginger active components have been successfully recovered from industrial waste biomass of fermented ginger. Moreover, their recovery has been combined with the first systematic study of the stereoselective reduction of gingerol-like compounds by isolated alcohol dehydrogenases (ADHs), obtaining the enantioenriched sec-alcohol derivatives via a sustainable biocatalytic path in up to >99 % conversions and >99 % enantiomeric/diastereomeric excesses.