557 search results - page 38 / 112 » Automatic Abstraction for Verification of Timed Circuits and... |
FMICS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
DAC
2002
ACM
15 years 10 months ago
2002
ACM
The ability to compute the parasitic inductance of the interconnect is critical to the timing verification of modern VLSI circuits. A challenging aspect of inductance extraction i...
102
click to vote
FMCO
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
VLSID
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— This paper introduces a fuzzy logic based guidance architecture to a graph grammar framework for automated design of analog circuits. The grammar generates circuit topo...
ICIP
2009
IEEE
15 years 10 months ago
2009
IEEE
Developing accurate and robust palmprint verification algorithms is one of the key issues in automatic palmprint recognition systems. Recently, orientation based coding algorithms...