Functional model for catecholase-like activity: A mechanistic approach with manganese(III) complexes of salen type Schiff base ligands

Three new Mn(III) complexes [MnL1(OOCH)(OH2)] (1), [MnL2(OH2)(2)][Mn2L22(NO2)(3)] (2) and [Mn2L21(NO2)(2)] (3) (where H2L1 = H(2)Me(2)Salen = 2,7-bis(2-hydroxyphenyl)-2,6-diazaocta-2,6-diene and H2L2 = H(2)Salpn = 1,7-bis(2-hydroxyphenyl)-2,6-diazahepta-1,6-diene) have been synthesized. X-ray crystal structure analysis reveals that 1 is a mononuclear species whereas 2 contains a mononuclear cationic and a dinuclear nitrite bridged (mu-1 kappa O:2 kappa O') anionic unit. Complex 3 is a phenoxido bridged dimer containing terminally coordinated nitrite. Complexes 1-3 show excellent catecholase-like activity with 3,5-di-tert-butylcatechol (3,5-DTBC) as the substrate. Kinetic measurements suggest that the rate of catechol oxidation follows saturation kinetics with respect to the substrate and first order kinetics with respect to the catalyst. Formation of bis(mu-oxo)dimanganese(III,III) as an intermediate during the course of reaction is identified from ESI-MS spectra. The characteristic six line EPR spectra of complex 2 in the presence of 3,5-DTBC supports the formation of manganese(II)-semiquinonate as an intermediate species during the catalytic oxidation of 3,5-DTBC.

Generic construction of monitors for floating point unit designs

This paper proposes a set of well defined steps to design functional verification monitors intended to verify Floating Point Units (FPU) described in HDL. The first step consists on defining the input and output domain coverage. Next, the corner cases are defined. Finally, an already verified reference model is used in order to test the correctness of the Device Under Verification (DUV). As a case study a monitor for an IEEE754-2008 compliant design is implemented. This monitor is built to be easily instantiated into verification frameworks such as OVM. Two different designs were verified reaching complete input coverage and successful compliant results.