Validation of VHDL descriptions at the early phases of the microelectronic design is one of the most time consuming task design. This paper presents a test vector generation method for behavioral VHDL design. This method analyzes control and dependence flow of VHDL program. We use the cyclomatic complexity, that is a software metric based on a graph associated with the control part of software:...

The express-lane transformation isolates and duplicates frequently executed program paths, aiming for better data-flow facts along the duplicated paths. An express-lane p is a copy of a frequently executed program path such that p has only one entry point at its beginning; p may have branches back to the original code, but the original code never branches into p. Classical data-flow analysis is...

[1] This study attempts to develop a method for the simulation of surface flow paths on a digital elevation model (DEM). The objective is to use a facet-based algorithm to estimate the surface flow paths on a raster DEM. A grid DEM was used to create a triangular facet network (TFN) over which the surface flow paths were determined. Since each facet in the network has a constant slope and aspec...

Control flow graphs are a well-known representation of the sequential control flow structure of programs with a multitude of applications. Not only single functions but also sets of functions or complete programs can be modeled by control flow graphs. In this case the size of the graphs can grow considerably and thus makes it difficult for software engineers to analyze the control flow. Graph r...

In the k-splittable flow problem, each commodity can only use at most k paths and the key point is to find the suitable transmitting paths for each commodity. To guarantee the efficiency of the network, minimizing congestion is important, but it is not enough, the cost consumed by the network is also needed to minimize. Most researches restrict to congestion or cost, but not the both. In this p...

A model for the simulation of gas flow in clayey rocks and clays is described. Gas migration is associated with the development of preferential paths along existing or pressure-dependent discontinuities. The model handles the combined phenomena of two-phase (air and liquid) flow and the generation of discrete paths. Aperture of discrete paths is the main variable to account for permeability and...

Thematic structure, an important factor for textual metafunction, plays a significant role in inspecting and promoting the textual coherence. With a theoretical statement of Thematic theory and TP patterns, this paper proposes the feasibility of the Thematic Operational Approach in the teaching of college English writing. This approach is proved to not only strengthen students’ application awar...

As a grammatical device, Theme-Rheme structure plays an important role in organizing and analyzing discourse. Theme Progression patterns (hereinafter called TP patterns) are significant method of the analysis of textual cohesion and organization. Based on linguist Danes’ theory about TP patterns, this paper tries to present a contrastive analysis of the texts of consecutive interpretation in En...

How do animals follow demarcated paths? Different species are sensitive to optic flow and one control solution is to maintain the balance of flow symmetry across visual fields; however, it is unclear whether animals are sensitive to changes in asymmetries when steering along curved paths. Flow asymmetries can alter the global properties of flow (i.e. flow speed) which may also influence steerin...