The design and verification of FPGA CAD toolset

This paper introduces a complete CAD toolset for the implementation of digital logic in a Field-Programmable Gate Array (FPGA) platform. Compared with existing academic toolsets, this toolset introduces formal verification in each step of the tool flow, especially the formal verification of the configuration bitstream. The FPGA CAD tool verification flow using Formality is presented in detail. Using plug-in technology, we have developed an integrated FPGA design kit to incorporate all tools together.

Packing LUT clusters with network flow programming

This paper describes a two-step packing algorithm for LUT clusters of which the LUT input multipliers are depopulated. In the first step, a greedy algorithm is used to search for BLE locations and cluster inputs. If the greedy algorithm fails, the second step with network flow programming algorithm is employed. Numerical results illustrate that our two-step packing algorithm obtains better packing density than one-step greedy packing algorithm.

Design and Verification of the Programming Circuit in an Application-Specific FPGA

In this paper we present a methodology and its implementation for the design and verification of programming circuit used in a family of application-specific FPGAs that share a common architecture. Each member of the family is different either in the types of functional blocks contained or in the number of blocks of each type. The parametrized design methodology is presented here to achieve this goal. Even though our focus is on the programming circuitry that provides the interface between the FPGA core circuit and the external programming hardware, the parametrized design method can be generalized to the design of entire chip for all members in the FPGA family. The method presented here covers the generation of the design RTL files and the support files for synthesis, place-and-route layout and simulations. The proposed method is proven to work smoothly within the complete chip design methodology. We will describe the implementation of this method to the design of the programming circuit in details including the design flow from the behavioral-level design to the final layout as well as the verification. Different package options and different programming modes are included in the description of the design. The circuit design implementation is based on SMIC 0.13-micron CMOS technology.

A Synthesis Tool for a Tile-Based Heterogeneous FPGA

A multi-mode logic cell architecture in a tile-based heterogeneous FPGA is proposed, and a logic synthesis tool, called Vsyn, based on this architecture is presented. The logic cell architecture design and its synthesis tool development are strongly influencing each other. Any feature or parameter from one needs to be fully exercised and verified on the other. In this paper, we presented experimental results based MCNC benchmarks to show that the integration of the synthesis tool and the FPGA architecture can achieve high performance in the targeted FPGA applications. In addition, Vsyn can also target embedded special-purpose macros for the heterogeneous FPGA.

Building capacity for integrated coastal management in developing countries

The need for building human and institutional capacity has been identified in Agenda 21 of the UNCED conference as well as by a number of international environmental institutions as essential for integrated coastal management (ICM) and sustainable development in developing coastal states. There is a growing need for coastal management practitioners and organizations with expertise in planning and implementation for ICM. The application of strategies for institutional development and building human capacity in coastal management and other fields shows that short-term intensive training efforts and long-term institutional strengthening programs are appropriate to address the issues and needs of ICM. An overview of the experience of the URI/USAID International Coastal Resources Management Program in Sri Lanka, Thailand and Ecuador presents lessons learned for strengthening ICM efforts in developing countries.

Particle-attached and free-living bacterial communities in a contrasting marine environment: Victoria Harbor, Hong Kong

Diversity of particle-attached and free-living marine bacteria in Victoria Harbor, Hong Kong, and its adjacent coastal and estuarial environments was investigated using DNA fingerprinting and clone library analysis. Denaturing gradient gel electrophoresis (DGGE) analysis of 16S rRNA genes showed that bacterial communities in three stations of Victoria Harbor were similar, but differed from those in adjacent coastal and estuarine stations. Particle-attached and free-living bacterial community composition differed in the Victoria Harbor area. DNA sequencing of 28 bands from DGGE gel showed Alphaproteobacteria was the most abundant group, followed by the Bacteroidetes, and other Proteobacteria. Bacterial species richness (number of DGGE bands) differed among stations and populations (particle-attached and free-living; bottom and surface). BIOENV analysis indicated that the concentrations of suspended solids were the major contributing parameter for the spatial variation of total bacterial community structure. Samples from representative stations were selected for clone library (548 clones) construction and their phylogenetic distributions were similar to those of sequences from DGGE. Approximately 80% of clones were affiliated to Proteobacteria, Bacteroidetes and Cyanobacteria. The possible influences of dynamic pollution and hydrological conditions in the Victoria Harbor area on the particle-attached and free-living bacterial community structures were discussed.

Particle-attached and free-living bacterial communities in a contrasting marine environment: Victoria Harbor, Hong Kong

Diversity of particle-attached and free-living marine bacteria in Victoria Harbor, Hong Kong, and its adjacent coastal and estuarial environments was investigated using DNA fingerprinting and clone library analysis. Denaturing gradient gel electrophoresis (DGGE) analysis of 16S rRNA genes showed that bacterial communities in three stations of Victoria Harbor were similar, but differed from those in adjacent coastal and estuarine stations. Particle-attached and free-living bacterial community composition differed in the Victoria Harbor area. DNA sequencing of 28 bands from DGGE gel showed Alphaproteobacteria was the most abundant group, followed by the Bacteroidetes, and other Proteobacteria. Bacterial species richness (number of DGGE bands) differed among stations and populations (particle-attached and free-living; bottom and surface). BIOENV analysis indicated that the concentrations of suspended solids were the major contributing parameter for the spatial variation of total bacterial community structure. Samples from representative stations were selected for clone library (548 clones) construction and their phylogenetic distributions were similar to those of sequences from DGGE. Approximately 80% of clones were affiliated to Proteobacteria, Bacteroidetes and Cyanobacteria. The possible influences of dynamic pollution and hydrological conditions in the Victoria Harbor area on the particle-attached and free-living bacterial community structures were discussed.