Embedded cores are being increasingly used in the design of large system-on-a-chip (SoC). Because of the high complexity of SoC, the design verification is a challenge for system integrators. To reduce the verification complexity, the port-order fault (POF) model has been used for verifying core-based designs (Tang and Jou, 1998). In this paper, we present an automatic-verification pattern generation (AVPG) for SoC design verification based on the POF model and perform experiments on combinational and sequential benchmarks. Experimental results show that our AVPG can efficiently generate verification patterns with high POF coverage.

In medical imaging, parameterized 3D surface models are of great interest for anatomical modeling and visualization, statistical comparisons of anatomy, and surface-based registration and signal processing. Here we introduce a parameterization method based on algebraic functions. By solving the Yamabe equation with the Ricci flow method, we can conformally map a brain surface to a multi-hole disk. The resulting parameterizations do not have any singularities and are intrinsic and stable. To illustrate the technique, we computed parameterizations of several types of anatomical surfaces in MRI scans of the brain, including the hippocampi and the cerebral cortices with various landmark curves labeled. For the cerebral cortical surfaces, we show the parameterization results are consistent with selected landmark curves and can be matched to each other using constrained harmonic maps. Unlike previous

New heterotic torsional geometries are constructed as orbifolds of T^ 2 bundles over K3. The discrete symmetries considered can be freely-acting or have fixed points and/or fixed curves. We give explicit constructions when the base K3 is Kummer or algebraic. The orbifold geometries can preserve N= 1, 2 supersymmetry in four dimensions or be non-supersymmetric.

Theorem 1. Let D be an irreducible bounded symmetric domain in C', n>= 2. Let F be a (nonuniform) lattice in Aut (D), ie a discrete subgroup of Aut (D) for which N:= D/F (is noncompact and) has. finite volume (wrt the locally symmetric metric induced from D). Suppose that a group F isomorphic to F (as an abstract group) acts as a discrete automorphism group on a contractible K (ihler manifold tVI. Assume that lQ/f has a finite singularity free cover M (ie M is a manifold) which is quasiprojective ie admits a compactification as a projective variety IVI and that~ I\M is of codimension at least three in~ l. Then] Q is biholomorphically equivalent to D, and f is conjugate to F in Aut (D).

Foundation Compositio Mathematica, 1990, tous droits rservs. Laccs aux archives de la revue Compositio Mathematica(http://http://www. compositio. nl/) implique laccord avec les conditions gnrales dutilisation (http://www. numdam. org/legal. php). Toute utilisation commerciale ou impression systmatique est constitutive dune infraction pnale. Toute copie ou impression de ce fichier doit contenir la prsente mention de copyright.