In this paper, we describe the application of graph-based verification techniques to a complex and highly configurable display controller IP block. The main challenges, the technology and the major benefits are developed, including the reuse at system level for basic connectivity verification and more complex system-level tests involving multiple IPs.

New low-energy atomic structures of the thiolate-protected gold nanoparticle Au68(SH)32 are uncovered, where the atomic positions of the Au atoms are taken from the recent single-particle transmission electron microscopy measurement by Kornberg and co-workers, whereas the pattern of thiolate ligands on the gold core is attained on the basis of the generic formulation (or rule) of the “divide an...

We present a mapping from a class of default theories to sentences in propositional logic, such that each model of the latter corresponds to an extension of the former. Using this mapping we show that many properties of default theories can be determined by solving propositional.satisfiability. In particular, we show how CSP techniques can be used to identify, analyze and solve tractable subset...

The cart centering problem is well known in the eld of evolutionary algorithms and has often been used as a proof of concept problem for techniques such as Genetic Programming. This paper describes the application of a grammar based, position independent encoding scheme, Chorus, to the problem. It is shown that using the traditional experimental setup employed to solve the problem, Chorus is ab...

and error detection associated with cerebellar damage. A single case study Brain 1992; 115: 155–78. Glickstein M, May JG 3rd, Mercier BE. Corticopontine projections in the macaque: the distribution of labelled cortical cells after large injections of horseradish peroxidase in the pontine nuclei. J Comp Neurol 1985; 235: 343–59. Glickstein M, Voogd J. Lodewijk Bolk and the comparative anatomy of...