In general, sequential verification is PSPACE complete, but for application to present-day industrial designs, it needs to be made scalable, which means essentially linear in circuit size. This paper focuses on the problem where the circuit in question has been transformed using a form of scalable sequential synthesis. During this synthesis, a history And-Inverter-Graph (HAIG) is constructed, w...

Precomputation is a recently proposed logic optimization technique which selectively disables the inputs of a sequential logic circuit, thereby reducing switching activity and power dissipation, without changing logic functionality. In this paper, we present new precomputation architectures for both combinational and sequential logic and describe new precomputation-based logic synthesis methods...

a convenient, one-pot method for the synthesis of diazonium salt has been developed by the sequential diazotization of aromatic amines with nano2, polymer- supported periodic acid (ppia) and 2-naphthole under solvent-free conditions at room temperature. by using this method, several types of aromatic amine, containing electron-withdrawing and electron-donating groups, were rapidly converted to ...

This paper presents an approach to model the pitch contour in Chinese expressive speech synthesis by using SFC (Superposition of Functional Contours) model. Some functional contours corresponding to the expressions are introduced when applying SFC for expressive speech. During implementation, both the emotion-dependent method and emotion-independent method are realized and compared. Three emoti...

A transformational programming approach is proposed as a means for developing a class of parallel algorithms from clear functional speci cations to e cient networks of communicating sequential processes CSP A foundation for the systematic re nement of functional speci ca tions into CSP processes is established Techniques for exhibiting implicit parallelism in functional speci cation are develop...

To compose sequential systems, designers usually have to devise a synchronization mechanism which coordinates constituents of the composition in order to achieve certain goals of computation. In this paper, we present a simple language for specifying sequential behaviors. An advantage of the language is that a speci cation of synchronization, when composition is required, can be easily obtained...

A program called MVSIS has been developed which optimizes multi-level multi-valued networks (MV networks). We describe what such a network is and the capabilities contained in MVSIS. MVSIS is modeled after SIS, which synthesizes binary multi-level networks, but the logic network of MVSIS is such that all variables can be multivalued each with its own range. Included in MVSIS are almost all the ...