4516 search results - page 164 / 904 » Automated System Design for Availability |
157
click to vote
FLOPS
2008
Springer
15 years 6 months ago
2008
Springer
Narrowing extends rewriting with logic capabilities by allowing free variables in terms and replacing matching with unification. Narrowing has been widely used in different context...
127
click to vote
DFT
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper presents a system to evaluate the testability of an on-line testable circuit. The system operates at the RT-level, before the logic synthesis step, and allows for an ex...
119
click to vote
DAC
2008
ACM
16 years 5 months ago
2008
ACM
This paper presents a RTR FPGA embedded in a System on Chip fabricated in 130nm CMOS process. Various aspects of the design flow, from automation to floor-planning are discussed. ...
108
Voted
FPL
2003
Springer
15 years 9 months ago
2003
Springer
This paper describes methods and tools that have been used for teaching disciplines dedicated to the design of reconfigurable digital systems. It demonstrates students' projec...
135
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
The authors have proposed using category-theoretic sketches to enhance database design and integration methodologies. The algebraic context is called the Sketch Data Model (SkDM) a...