425 search results - page 7 / 85 » Automated Synthesis of Multitolerance |
99
Voted
ISVLSI
2007
IEEE
15 years 8 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
16 years 2 months ago
2005
ACM
181
click to vote
TABLEAUX
2009
Springer
15 years 8 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...
118
Voted
VLSID
2004
IEEE
16 years 2 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 ...
53
Voted
ATAL
2009
Springer
15 years 8 months ago
2009
Springer