1019 search results - page 148 / 204 » Computer Aided Ferret Design |
WETICE
2003
IEEE
15 years 3 months ago
2003
IEEE
Web Services define a new paradigm in present-day collaborative application development in enterprises, and span systems, networks, and organizations. Emerging computing infrastru...
96
Voted
DAC
2003
ACM
15 years 3 months ago
2003
ACM
In this paper we propose a partitioning-based placement algorithm for FPGAs. The method incorporates simple, but effective heuristics that target delay minimization. The placement...
ISPD
2003
ACM
15 years 3 months ago
2003
ACM
Previous works on buffer planning are mainly based on fixed die placement. It is necessary to reduce the complexity of computing the feasible buffer insertion sites to integrate t...
166
click to vote
ACL2
2006
ACM
15 years 1 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
DAC
2004
ACM
15 years 1 months ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...