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.

yet another meta-language for programming language processing

The formal specification language LFC was designed to support formal specification acquisition. However, it is yet suited to be used as a meta-language for specifying programming language processing. This paper introduces LFC as a meta-language, and compares it with ASF+SDF, an algebraic specification formalism that can also be used to programming languages.

Approximate analytical optical transfer function for a wavefront-coded imaging system with two-dimensional rectangularly separable phase masks

Wavefront coding can be used to extend the depth of field of incoherent imaging systems and is a powerful system-level technique. In order to assess the performance of a wavefront-coded imaging system, defocused optical transfer function (OTF) is the metric frequently used. Unfortunately, to the best of our knowledge, among all types of phase masks, it is usually difficult to obtain the analytical OTF except the cubic one. Although numerical computation seems good enough for performance evaluation, the approximate analytical OTF is still indispensable because it can reflect the relationship between mask parameters and system frequency response in a clearer way. Thus, a method is proposed to derive the approximate analytical OTF for two-dimensional rectangularly separable phase masks. The analytical results are well consistent with the direct numerical computations, but the proposed method can be accepted only from engineering point of view and needs rigorous proof in future. (c) 2010 Society of Photo-Optical Instrumentation Engineers. [DOI: 10.1117/1.3485759]

extending the boundary of spreadsheet programming: lessons learned from chinese governmental projects

ICSE

A QUASI-SIMPLEX METHOD FOR STRICTLY CONVEX QUADRATIC PROGRAMMING

本文提出一个不用 Kuhn- Tucker条件而直接搜索严格凸二次规划最优目标点的鲁棒方法 .在搜索过程中 ,目标点沿约束多面体边界上的一条折线移动 .这种移动目标点的思想可以被认为是线性规划单纯形法的自然推广 ,在单纯形法中 ,目标点从一个顶点移到另一个顶点。