425 search results - page 7 / 85 » Automated Synthesis of Multitolerance |
ISVLSI
2007
IEEE
14 years 1 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...
DAC
2005
ACM
14 years 8 months ago
2005
ACM
TABLEAUX
2009
Springer
14 years 2 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...
VLSID
2004
IEEE
14 years 7 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
14 years 2 months ago
2009
Springer