425 search results - page 7 / 85 » Automated Synthesis of Multitolerance |
126
click to vote
ISVLSI
2007
IEEE
15 years 10 months ago
2007
IEEE
In this work, we present a genetic algorithm based automated circuit synthesis framework for passive analog circuits. A procedure is developed for the simultaneous generation of b...
218
click to vote
TABLEAUX
2009
Springer
15 years 10 months ago
2009
Springer
This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau i...
141
click to vote
VLSID
2004
IEEE
16 years 4 months ago
2004
IEEE
System-on-Chip (SoC) design methodologies rely heavily on reuse of intellectual property (IP) blocks. IP reuse is a labour intensive and time consuming process as IP blocks often ...
ATAL
2009
Springer
15 years 11 months ago
2009
Springer