Sciweavers

130 search results - page 23 / 26
» Vertical Benchmarks for CAD
Sort
View
FMCAD
2000
Springer
15 years 3 months ago
SAT-Based Image Computation with Application in Reachability Analysis
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...
Aarti Gupta, Zijiang Yang, Pranav Ashar, Anubhav G...
FPGA
2000
ACM
161views FPGA» more  FPGA 2000»
15 years 3 months ago
The effect of LUT and cluster size on deep-submicron FPGA performance and density
In this paper we revisit the FPGA architectural issue of the effect of logic block functionality on FPGA performance and density. In particular, in the context of lookup table, cl...
Elias Ahmed, Jonathan Rose
89
Voted
ASPDAC
2005
ACM
93views Hardware» more  ASPDAC 2005»
15 years 1 months ago
Power minimization for dynamic PLAs
—Dynamic programmable logic arrays (PLAs) which are built of the NOR–NOR structure, have been very popular in high performance design because of their high-speed and predictabl...
Tzyy-Kuen Tien, Chih-Shen Tsai, Shih-Chieh Chang, ...
IROS
2009
IEEE
173views Robotics» more  IROS 2009»
15 years 6 months ago
Biologically inspired compliant control of a monopod designed for highly dynamic applications
— In this paper the compliant low level control of a biologically inspired control architecture suited for bipedal dynamic walking robots is presented. It consists of elastic mec...
Sebastian Blank, Thomas Wahl, Tobias Luksch, Karst...
77
Voted
ICC
2008
IEEE
111views Communications» more  ICC 2008»
15 years 6 months ago
A Systematic Luby Transform Coded V-BLAST System
— Systematic Luby Transform (SLT) codes have shown good performance for single antenna aided systems for transmission over AWGN and uncorrelated Rayleigh fading channels. For the...
Thanh Dang Nguyen, Mohammed El-Hajjar, Lie-Liang Y...