1342 search results - page 44 / 269 » MEMS Design And Verification |
IFIP
2010
Springer
14 years 4 months ago
2010
Springer
DAC
2001
ACM
15 years 10 months ago
2001
ACM
FMCAD
2007
Springer
15 years 3 months ago
2007
Springer
— The concept of applying partial fencing to logic built-in self test (LBIST) hardware structures for the purpose of using partially good chips is well known in the chip design i...
SAFECOMP
2010
Springer
14 years 7 months ago
2010
Springer
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...
126
click to vote
SIES
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...