A switch block M with W terminals on each side is said to be universal if every set of nets satisfying the dimension constraint (i.e., the number of nets on each side of M is at most W) is simultaneously routable thro...
详细信息
A switch block M with W terminals on each side is said to be universal if every set of nets satisfying the dimension constraint (i.e., the number of nets on each side of M is at most W) is simultaneously routable through M [2]. In this paper, we present an algorithm to construct N-sided universal switch blocks with W terminals on each side. Each of our universal switch blocks has ((N)(2))W switches and switch-block flexibility N - 1 (i.e., FS = N - 1). We prove that no switch block with less than ((N)(2))W switches can be universal. We also compare our universal switch blocks with others of the topology associated with Xilinx XC4000-type FPGAs. To explore the area performance of the universal switch blocks, we develop a detailed router for hierarchical FPGAs (HFPGAs) with 5-sided switch blocks. Experimental results demonstrate that our universal switch blocks improve routability at the chip level. Based on extensive experiments, we also provide key insights into the interactions between switch-block architectures and routing.
An FPD switch module M with omega terminals on each side is said to be universal if every set of nets satisfying the dimension constraint (i.e., the number of nets on each side of M is at most omega) is simultaneously...
详细信息
An FPD switch module M with omega terminals on each side is said to be universal if every set of nets satisfying the dimension constraint (i.e., the number of nets on each side of M is at most omega) is simultaneously routable through M [8]. Chang-et al, have identified a class of universal switch blocks in [8]. In this paper, we consider the design and routing problems for another popular model of switch modules called switch matrices. Unlike switch blocks, we prove that there exist no universal switch matrices. Nevertheless, we present quasi-universal switch matrices which have the maximum possible routing capacities among all switch matrices of the same size and show that their routing capacities converge to those of universal switch blocks. Each of the quasi-universal switch matrices of size omega has a total of only 14 omega - 20 (14 omega - 21) switches if omega is even (odd), omega > 1, compared to a fully populated one which has 3 omega(2) - 2 omega switches. We prove that no switch matrix with less than 14 omega - 20 (14 omega - 21) switches can be quasi-universal. Experimental results demonstrate that the quasi-universal switch matrices improve routabilty at the chip level.
In this paper we present a complete Boolean method for reducing the power consumption in two-level combinational circuits. The two-level logic optimizer performs the logic minimization for low power targeting static P...
详细信息
The growing popularity of look-up table (LUT)-based field programmable gate arrays (FPGA's) has renewed the interest in functional or Roth-Karp decomposition techniques. Functional decomposition is a powerful deco...
详细信息
The growing popularity of look-up table (LUT)-based field programmable gate arrays (FPGA's) has renewed the interest in functional or Roth-Karp decomposition techniques. Functional decomposition is a powerful decomposition method that breaks a Boolean function into a set of subfunctions and a composition function. Little attention has so far been given to the problem of selecting good subfunctions after partitioning the input variables into the disjoint bound and free sets. Therefore, the extracted subfunctions usually depend on all bound variables. In this paper,(1) we present a novel decomposition algorithm that computes subfunctions with a minimal number of inputs. This reduces the number of LUT's and improves the usage of multiple-output SRAM cells. The algorithm iteratively computes subfunctions;in each iteration step it implicitly computes a set of possible subfunctions and finds a subfunction with minimal support, Moreover, our technique finds nondisjoint decompositions, and thus unifies disjoint and nondisjoint decomposition. The algorithm is very fast and yields substantial reductions of the number of LUT's and SRAM cells.
The AMD-K6 MMX-enabled processor is plug-compatible with the industry-standard Socket 7 and is binary compatible with the existing base of legacy X86 software. The microarchitecture is based on an out-of-order, supers...
详细信息
The AMD-K6 MMX-enabled processor is plug-compatible with the industry-standard Socket 7 and is binary compatible with the existing base of legacy X86 software. The microarchitecture is based on an out-of-order, superscalar execution engine using speculative execution, High performance and compact die size are achieved by using self-resetting, self-timed and pulsed-latch circuit design techniques in custom blocks and placed-and-routed blocks of standard cells, The 162 sq, mm die is fabricated on a 0.35-mu m, five-layer metal process with local interconnect, It is assembled into a ceramic pin grid array (PGA) using C4 flip-chip mounting. The processor functions at clock speeds up to 266 MHz.
This paper proposes a new approach for designing a cost-effective, on-chip, deterministic, built-in, self-test generator. Given a set of precomputed test vectors (obtained by an ATPG tool) with a predetermined fault c...
详细信息
This paper proposes a new approach for designing a cost-effective, on-chip, deterministic, built-in, self-test generator. Given a set of precomputed test vectors (obtained by an ATPG tool) with a predetermined fault coverage, a simple test vector generator (TVG) is synthesized to apply the given test set in a minimal test time. To achieve this objective, cellular automata (CA) structures have been used in which the rule space is not limited to the linear rules commonly used in CA studies recently. Based on some new notations and new formulations of CA properties, two techniques are developed to synthesize such a TVG which is used to generate an ordered/unordered deterministic test vector set. The resulting TVG is very efficient in terms of hardware size and speed performance, and is very regular and testable. Simulation of various benchmark combinational circuits has given good results when compared to alternative solutions.
In this paper, a fault model for multiple-valued programmable logic arrays (MV-PLAs) is proposed and the equivalences of faults of MV-PLA's are discussed. In a supposed multiple-valued NOR/TSUM PLA model, it is sh...
详细信息
In this paper, a fault model for multiple-valued programmable logic arrays (MV-PLAs) is proposed and the equivalences of faults of MV-PLA's are discussed. In a supposed multiple-valued NOR/TSUM PLA model, it is shown that multiple-valued stuck-at faults, multiple-valued bridging faults, multiple-valued threshold shift faults and other some faults in a literal generator circuit are equivalent or subequivalent to a multiple crosspoint fault in the NOR plane or a multiple fault of weights in the TSUM plane. These results lead the fact that multiple-valued test vector set which indicates all multiple cross-point fault and all multiple fault of weights also detects above equivalent or subequivalent faults in a MV-PLA.
The pseudoexhaustive testing (PET) scheme is a economic approach to test a large embedded programmable logic array (PIA). In this paper, we propose an efficient algorithm named low overhead PET (LOPET) to partition th...
详细信息
The pseudoexhaustive testing (PET) scheme is a economic approach to test a large embedded programmable logic array (PIA). In this paper, we propose an efficient algorithm named low overhead PET (LOPET) to partition the product lines. By applying our algorithm, both the area overhead and test length are reduced significantly.
A programmable logic array (PLA) is nonconcurrent if every input pattern selects exactly one product term. We relax this requirement to limited concurrency where all product terms selected by the same input pattern mu...
详细信息
作者:
SASAO, TDept. of Comput. Sci. & Electron.
Kyushu Inst. of Technol. Iizuka Japan Abstract Authors References Cited By Keywords Metrics Similar Download Citation Email Print Request Permissions
A lower bound L(p)(n, u) and an upper bound U(p)(n, u) on S(p)(n, u) are derived, where S(p)(n, u) is the average number of products in minimum sum-of-products expression for p-valued input two-valued output functions...
详细信息
A lower bound L(p)(n, u) and an upper bound U(p)(n, u) on S(p)(n, u) are derived, where S(p)(n, u) is the average number of products in minimum sum-of-products expression for p-valued input two-valued output functions, n is the number of the inputs, and u is the number of minterms. The values of S(p)(n, u) are obtained by minimizing randomly generated functions, and they are compared to the calculated values of U(p)(n, u) and L(p)(n, u). The upper bound is based on the minimization results of the functions with fewer variables. The lower bound is based on an assumption, so it is incorrect until the assumption is proven. These bounds are useful for estimating the size of programming logicarrays.
暂无评论