A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling

Modern Integrated Circuit (IC) design is characterized by a strong trend of Intellectual Property (IP) core integration into complex system-on-chip (SOC) architectures. These cores require thorough verification of their functionality to avoid erroneous behavior in the final device. Formal verification methods are capable of detecting any design bug. However, due to state explosion, their use remains limited to small circuits. Alternatively, simulation-based verification can explore hardware descriptions of any size, although the corresponding stimulus generation, as well as functional coverage definition, must be carefully planned to guarantee its efficacy. In general, static input space optimization methodologies have shown better efficiency and results than, for instance, Coverage Directed Verification (CDV) techniques, although they act on different facets of the monitored system and are not exclusive. This work presents a constrained-random simulation-based functional verification methodology where, on the basis of the Parameter Domains (PD) formalism, irrelevant and invalid test case scenarios are removed from the input space. To this purpose, a tool to automatically generate PD-based stimuli sources was developed. Additionally, we have developed a second tool to generate functional coverage models that fit exactly to the PD-based input space. Both the input stimuli and coverage model enhancements, resulted in a notable testbench efficiency increase, if compared to testbenches with traditional stimulation and coverage scenarios: 22% simulation time reduction when generating stimuli with our PD-based stimuli sources (still with a conventional coverage model), and 56% simulation time reduction when combining our stimuli sources with their corresponding, automatically generated, coverage models.

A Parallel Hardware Architecture for Scale and Rotation Invariant Feature Detection

This paper proposes a parallel hardware architecture for image feature detection based on the Scale Invariant Feature Transform algorithm and applied to the Simultaneous Localization And Mapping problem. The work also proposes specific hardware optimizations considered fundamental to embed such a robotic control system on-a-chip. The proposed architecture is completely stand-alone; it reads the input data directly from a CMOS image sensor and provides the results via a field-programmable gate array coupled to an embedded processor. The results may either be used directly in an on-chip application or accessed through an Ethernet connection. The system is able to detect features up to 30 frames per second (320 x 240 pixels) and has accuracy similar to a PC-based implementation. The achieved system performance is at least one order of magnitude better than a PC-based solution, a result achieved by investigating the impact of several hardware-orientated optimizations oil performance, area and accuracy.

Dual contactless conductivity and amperometric detection on hybrid PDMS/glass electrophoresis microchips

A new approach for the integration of dual contactless conductivity and amperometric detection with an electrophoresis microchip system is presented. The PDMS layer with the embedded channels was reversibly sealed to a thin glass substrate (400 mu m), on top of which a palladium electrode had been previously fabricated enabling end-channel amperometric detection. The thin glass substrate served also as a physical wall between the separation channel and the sensing copper electrodes for contactless conductivity detection. The latter were not integrated in the microfluidic device, but fabricated on an independent plastic substrate allowing a simpler and more cost-effective fabrication of the chip. PDMS/glass chips with merely contactless conductivity detection were first characterized in terms of sensitivity, efficiency and reproducibility. The separation efficiency of this system was found to be similar or slightly superior to other systems reported in the literature. The simultaneous determination of ionic and electroactive species was illustrated by the separation of peroxynitrite degradation products, i.e. NO(3)(-) (non-electroactive) and NO(2)(-) (electroactive), using hybrid PDMS/glass chips with dual contactless conductivity and amperometric detection. While both ions were detected by contactless conductivity detection with good efficiency, NO(2)(-) was also simultaneously detected amperometrically with a significant enhancement in sensitivity compared to contactless conductivity detection.

Bidimensional codes recorded on an oxide glass surface using a continuous wave CO(2) laser

Surface heat treatment in glasses and ceramics, using CO(2) lasers, has attracted the attention of several researchers around the world due to its impact in technological applications, such as lab-on-a-chip devices, diffraction gratings and microlenses. Microlens fabrication on a glass surface has been studied mainly due to its importance in optical devices (fiber coupling, CCD signal enhancement, etc). The goal of this work is to present a systematic study of the conditions for microlens fabrications, along with the viability of using microlens arrays, recorded on the glass surface, as bidimensional codes for product identification. This would allow the production of codes without any residues (like the fine powder generated by laser ablation) and resistance to an aggressive environment, such as sterilization processes. The microlens arrays were fabricated using a continuous wave CO(2) laser, focused on the surface of flat commercial soda-lime silicate glass substrates. The fabrication conditions were studied based on laser power, heating time and microlens profiles. A He-Ne laser was used as a light source in a qualitative experiment to test the viability of using the microlenses as bidimensional codes.

Negative ion `chip-based` nanospray tandem mass spectrometry for the analysis of flavonoids in glandular trichomes of Lychnophora ericoides Mart. (Asteraceae)

This paper reports a method for the analysis of secondary metabolites stored in glandular trichomes, employing negative ion `chip-based` nanospray tandem mass spectrometry. The analyses of glandular trichomes from Lychnophora ericoides, a plant endemic to the Brazilian `cerrado` and used in traditional medicine as an anti-inflammatory and analgesic agent, led to the identification of five flavonoids (chrysin, pinocembrin, pinostrobin, pinobanksin and 3-O-acetylpinobanksin) by direct infusion of the extracts of glandular trichomes into the nanospray ionisation source. All the flavonoids have no oxidation at ring B, which resulted in a modification of the fragmentation pathways compared with that of the oxidised 3,4-dihydroflavonoids already described in the literature. The absence of the anti-inflammatory and antioxidant di-C-glucosylflavone vicenin-2, or any other flavonoid glycosides, in the glandular trichomes was also demonstrated. The use of the,`chip-based` nanospray QqTOF apparatus is a new fast and useful tool for the identification of secondary metabolites stored in the glandular trichomes, which can be useful for chemotaxonomic studies based on metabolites from glandular trichomes. Copyright (C) 2008 John Wiley & Sons, Ltd.

Fabrication and integration of planar electrodes for contactless conductivity detection on polyester-toner electrophoresis microchips

In this report, we describe the microfabrication and integration of planar electrodes for contactless conductivity detection on polyester-toner (PT) electrophoresis microchips using toner masks. Planar electrodes were fabricated by three simple steps: (i) drawing and laser-printing the electrode geometry on polyester films, (ii) sputtering deposition onto substrates, and (iii) removal of toner layer by a lift-off process. The polyester film with anchored electrodes was integrated to PT electrophoresis microchannels by lamination at 120 degrees C in less than 1 min. The electrodes were designed in an antiparallel configuration with 750 mu m width and 750 gm gap between them. The best results were recorded with a frequency of 400 kHz and 10 V-PP using a sinusoidal wave. The analytical performance of the proposed microchip was evaluated by electrophoretic separation of potassium, sodium and lithium in 150 mu m wide x 6 mu m deep microchannels. Under an electric field of 250 V/cm the analytes were successfully separated in less than 90 s with efficiencies ranging from 7000 to 13 000 plates. The detection limits (S/N = 3) found for K+, Na+, and Li+ were 3.1, 4.3, and 7.2 mu mol/L, respectively. Besides the low-cost and instrumental simplicity, the integrated PT chip eliminates the problem of manual alignment and gluing of the electrodes, permitting more robustness and better reproducibility, therefore, more suitable for mass production of electrophoresis microchips.

Effect of propolis gel on the in vitro reduction of dentin permeability

OBJECTIVE: The aim of this study was to evaluate the capacity of potassium oxalate, fluoride gel and two kinds of propolis gel to reduce the hydraulic conductance of dentin, in vitro. MATERIAL AND METHODS: The methodology used for the measurement of hydraulic conductance of dentin in the present study was based on a model proposed in literature. Thirty-six 1-mm-thick dentin discs, obtained from extracted human third molars were divided into 4 groups (n=9). The groups corresponded to the following experimental materials: GI-10% propolis gel, pH 4.1; GII-30% propolis gel; GIII-3% potassium oxalate gel, pH 4,1; and GIV-1.23% fluoride gel, pH 4.1, applied to the dentin under the following surface conditions: after 37% phosphoric acid and before 6% citric acid application. The occluding capacity of the dentin tubules was evaluated using scanning electron microscopy (SEM) at ×500, ×1,000 and ×2,000 magnifications. Data were analyzed statistically by two-way ANOVA and Tukey's test at 5% significance level. RESULTS: Groups I, II, III, IV did not differ significantly from the others in any conditions by reducing in hydraulic conductance. The active agents reduced dentin permeability; however they produced the smallest reduction in hydraulic conductance when compared to the presence of smear layer (P<0.05). The effectiveness in reducing dentin permeability did not differ significantly from 10% or 30% propolis gels. SEM micrographs revealed that dentin tubules were partially occluded after treatment with propolis. CONCLUSIONS: Under the conditions of this study, the application of 10% and 30% propolis gels did not seem to reduce the hydraulic conductance of dentin in vitro, but it showed capacity of partially obliterating the dentin tubules. Propolis is used in the treatment of different oral problems without causing significant great collateral effects, and can be a good option in the treatment of patients with dentin sensitivity.

Comparasion of two minimally invasive methods on the longevity of glass ionomer cement restorations: short-term results of a pilot study

The purpose of this study was to evaluate the clinical performance of glass ionomer cement (GIC) restorations comparing two minimally invasive methods in permanent teeth after 12 months. Fifty pregnant women (second trimester of pregnancy), mean age 22 ± 5.30 years, were treated by two previously trained operators. The treatment approaches tested were: chemomechanical method (CarisolvTM; MediTeam) and atraumatic restorative treatment (ART). A split-mouth study design was used in which the two treatments were randomly placed in 50 matched pairs of permanent teeth. The chemomechanical method (CM) was the test group and the ART was the control group. The treatments were performed in Public Health Centers. The tested restorative material was a high-strength GIC (Ketac Molar; 3M/ESPE). The restorations were placed according to the ART guidelines. Two calibrated independent examiners evaluated the restorations in accordance with ART criteria. The inter-examiner kappa was 0.97. Data were analyzed using 95% confidence interval on the binomial distribution and Fisher's exact test at 5% significance level. In a 12-month follow-up, 86% of the restorations were evaluated. In the test group (CM), 100% (CI=93.3-100%) of the restorations were considered successful. In the control group (ART) 97.6% (CI=87.4-99.9%) of the restorations were considered successful and 2.4% unsuccessful (marginal defect >0.5 mm). There was no statistically significant difference between the 12-mounth success rate for both groups (Fisher's exact test: P=0.49) and between the two operators (Fisher's exact test: P=1.00). Both minimally invasive methods, chemomechanical method and ART, showed a similar clinical performance after 12 months of follow up.

Scanning electron microscopic study of the in situ effect of salivary stimulation on erosion and abrasion in human and bovine enamel

This in situ study investigated, using scanning electron microscopy, the effect of stimulated saliva on the enamel surface of bovine and human substrates submitted to erosion followed by brushing abrasion immediately or after one hour. During 2 experimental 7-day crossover phases, 9 previously selected volunteers wore intraoral palatal devices, with 12 enamel specimens (6 human and 6 bovine). In the first phase, the volunteers immersed the device for 5 minutes in 150 ml of a cola drink, 4 times a day (8h00, 12h00, 16h00 and 20h00). Immediately after the immersions, no treatment was performed in 4 specimens (ERO), 4 other specimens were immediately brushed (0 min) using a fluoride dentifrice and the device was replaced into the mouth. After 60 min, the other 4 specimens were brushed. In the second phase, the procedures were repeated but, after the immersions, the volunteers stimulated the salivary flow rate by chewing a sugar-free gum for 30 min. Enamel superficial alterations of all specimens were then evaluated using a scanning electron microscope. Enamel prism core dissolution was seen on the surfaces submitted to erosion, while on those submitted to erosion and to abrasion (both at 0 and 60 min) a more homogeneous enamel surface was observed, probably due to the removal of the altered superficial prism layer. For all the other variables - enamel substrate and salivary stimulation -, the microscopic pattern of the enamel specimens was similar.

The influence of residual salivary fluoride from dentifrice on enamel erosion: an in situ study

The objective of this study was to assess the salivary residual effect of fluoride dentifrice on human enamel subjected to an erosive challenge. This crossover in situ study was performed in two phases (A and B), involving ten volunteers. In each phase, they wore acrylic palatal appliances, each containing 3 human enamel blocks, during 7 days. The blocks were subjected to erosion by immersion of the appliances in a cola drink for 5 minutes, 4 times a day. Dentifrice was used to brush the volunteers’ teeth, 4 times a day, during 1 minute, before the appliance was replaced into the mouth. In phases A and B the dentifrices used had the same formulation, except for the absence (PD) or presence (FD) of fluoride, respectively. Enamel alterations were determined using profilometry, microhardness (%SMHC), acid- and alkali-soluble F analysis. The data were tested using ANOVA (p < 0.05). The concentrations (mean ± SD) of alkali- and acid-soluble F (µgF/cm²) were, respectively, PD: 1.27ª ± 0.70/2.24A ± 0.36 and FD: 1.49ª ± 0.44/2.24A ± 0.67 (p > 0.05). The mean wear values (± SD, µm) were PD: 3.63ª ± 1.54 and FD: 3.54ª ± 0.90 (p > 0.05). The mean %SMHC values (± SD) were PD: 89.63ª ± 4.73 and FD: 87.28ª ± 4.01 (p > 0.05). Thus, we concluded that the residual fluoride from the fluoride-containing dentifrice did not protect enamel against erosion.

Effect of cyclic load on vertical misfit of prefabricated and cast implant single abutment

OBJECTIVES: The purpose of this in vitro study was to evaluate misfit alterations at the implant/abutment interface of external and internal connection implant systems when subjected to cyclic loading. MATERIAL AND METHODS: Standard metal crowns were fabricated for 5 groups (n=10) of implant/abutment assemblies: Group 1, external hexagon implant and UCLA cast-on premachined abutment; Group 2, internal hexagon implant and premachined abutment; Group 3, internal octagon implant and prefabricated abutment; Group 4, external hexagon implant and UCLA cast-on premachined abutment; and Group 5, external hexagon implant and Ceraone abutment. For groups 1, 2, 3 and 5, the crowns were cemented on the abutments and in group 4 crowns were screwed directly on the implant. The specimens were subjected to 500,000 cycles at 19.1 Hz of frequency and non-axial load of 133 N in a MTS 810 machine. The vertical misfit (μm) at the implant/abutment interface was evaluated before (B) and after (A) application of the cyclic loading. Data were analyzed statistically by using two-away ANOVA and Tukey's post-hoc test (p<0.05). RESULTS: Before loading values showed no difference among groups 2 (4.33±3.13), 3 (4.79±3.43) and 5 (3.86±4.60); between groups 1 (12.88±6.43) and 4 (9.67±3.08), and among groups 2, 3 and 4. However, groups 1 and 4 were significantly different from groups 2, 3 and 5. After loading values of groups 1 (17.28±8.77) and 4 (17.78±10.99) were significantly different from those of groups 2 (4.83±4.50), 3 (8.07±4.31) and 5 (3.81±4.84). There was a significant increase in misfit values of groups 1, 3 and 4 after cyclic loading, but not for groups 2 and 5. CONCLUSIONS: The cyclic loading and type of implant/abutment connection may develop a role on the vertical misfit at the implant/abutment interface.

Influence of different catilever extensions and glass or polyamaramid reinforcement fibers on fracture strength of implant-supported temporary

In long-term oral rehabilitation treatments, resistance of provisional crowns is a very important factor, especially in cases of an extensive edentulous distal space. The aim of this laboratorial study was to evaluate an acrylic resin cantilever-type prosthesis regarding the flexural strength of its in-balance portion as a function of its extension variation and reinforcement by two types of fibers (glass and polyaramid), considering that literature is not conclusive on this subject. Each specimen was composed by 3 total crowns at its mesial portion, each one attached to an implant component (abutment), while the distal portion (cantilever) had two crowns. Each specimen was constructed by injecting acrylic resin into a two-part silicone matrix placed on a metallic base. In each specimen, the crowns were fabricated with either acrylic resin (control group) or acrylic resin reinforced by glass (Fibrante, Angelus) or polyaramide (Kevlar 49, Du Pont) fibers. Compression load was applied on the cantilever, in a point located 7, 14 or 21 mm from the distal surface of the nearest crown with abutment, to simulate different extensions. The specimen was fixed on the metallic base and the force was applied until fracture in a universal test machine. Each one of the 9 sub-groups was composed by 10 specimens. Flexural strength means (in kgf) for the distances of 7, 14 and 21 mm were, respectively, 28.07, 8.27 and 6.39 for control group, 31.89, 9.18 and 5.16 for Kevlar 49 and 30.90, 9.31 and 6.86 for Fibrante. Data analysis ANOVA showed statistically significant difference (p<0.05) only regarding cantilever extension. Tukey's test detected significantly higher flexural strength for the 7 mm-distance, followed by 14 and 21 mm. Fracture was complete only on specimens of non-reinforced groups.

Effect of cement type and water storage time on the push-out bond strength of a glass fiber post

This study investigated the effects of the cement type and the water storage time on the push-out bond strength of a glass fiber post. Glass fiber posts (Fibrekor, Jeneric Pentron) were luted to post spaces using a self-cured resin cement (C&B Cement [CB]), a glass ionomer cement (Ketac Cem [KC]) or a resin-modified glass ionomer cement (GC FujiCEM [FC]) according to the manufacturers’ instructions. For each luting agent, the specimens were exposed to one of the following water storage times (n=5): 1 day (T1), 7 days (T7), 90 days (T90) and 180 days (T180). Push-out tests were performed after the storage times. Control specimens were not exposed to water storage, but subjected to the push-out test 10 min after post cementation. Data (in MPa) were analyzed by Kruskal-Wallis and Dunn`s test (α=0.05). Cement type and water storage time had a significant effect (p<0.05) on the push-out bond strength. CB showed significantly higher values of retention (p<0.05) than KC and FC, irrespective of the water storage time. Water storage increased significantly the push-out bond strength in T7 and T90, regardless of the cement type (p<0.05). The results showed that fiber posts luted to post spaces with the self-cured resin cement exhibited the best bonding performance throughout the 180-day water storage period. All cements exhibited a tendency to increase the bond strength after 7 and 90 days of water storage, decreasing thereafter.

Influence of intraradicular post and crown ferrule on the fracture strength of endodontically treated teeth

The aim of this study was to investigate the fracture strength of endodontically treated teeth restored with different posts and variable ferrule heights. Sixty freshly extracted human canines were treated endodontically and randomly assigned to 6 groups (n=10), being restored with custom-made cast post-and-core (CP0 and CP3 groups), prefabricated post and composite resin core (PF0 and PF3 groups), and composite resin (CR0 and CR3 groups). The CP0, PF0 and CR0 groups presented no ferrule and the CP3, PF3 and CR3 presented 3 mm of coronal structure. All teeth were restored with full metal crowns. The fracture strength was measured in a universal testing machine at 45o to the long axis of the tooth until failure. Data were analyzed statistically by 2-way ANOVA and Tukey's test (?=0.05). When the mean fracture strength values were compared (CP0 group - 820.20 N, CP3 group - 1179.12 N; PF0 group - 561.05 N; PF3 group - 906.79 N; CR0 group - 297.84 N; and CR3 group - 1135.15 N) there was statistically significant among the groups (p<0.05), except for the three groups with 3 mm of coronal remaining, which were similar to each other. The results of this study showed that the ferrule in crowns promoted significantly higher fracture strength in the endodontically treated teeth.

Validation of an experimental polyurethane model for biomechanical studies on implant supported prosthesis - tension tests

OBJECTIVES: The complexity and heterogeneity of human bone, as well as ethical issues, frequently hinder the development of clinical trials. The purpose of this in vitro study was to determine the modulus of elasticity of a polyurethane isotropic experimental model via tension tests, comparing the results to those reported in the literature for mandibular bone, in order to validate the use of such a model in lieu of mandibular bone in biomechanical studies. MATERIAL AND METHODS: Forty-five polyurethane test specimens were divided into 3 groups of 15 specimens each, according to the ratio (A/B) of polyurethane reagents (PU-1: 1/0.5, PU-2: 1/1, PU-3: 1/1.5). RESULTS: Tension tests were performed in each experimental group and the modulus of elasticity values found were 192.98 MPa (SD=57.20) for PU-1, 347.90 MPa (SD=109.54) for PU-2 and 304.64 MPa (SD=25.48) for PU-3. CONCLUSION: The concentration of choice for building the experimental model was 1/1.