Sciweavers

1210 search results - page 31 / 242
» Secure Logic Synthesis
Sort
View
ICCD
2006
IEEE
96views Hardware» more  ICCD 2006»
16 years 12 days ago
Synthesis of Regular Logic Bricks for Robust IC Design
Kim Yaw Tong, Lawrence T. Pileggi
86
Voted
ICCAD
2002
IEEE
98views Hardware» more  ICCAD 2002»
16 years 11 days ago
Topologically constrained logic synthesis
Subarnarekha Sinha, Alan Mishchenko, Robert K. Bra...
ASPDAC
2009
ACM
132views Hardware» more  ASPDAC 2009»
15 years 10 months ago
A cycle-based synthesis algorithm for reversible logic
Zahra Sasanian, Mehdi Saeedi, Mehdi Sedighi, Morte...
DATE
2008
IEEE
81views Hardware» more  DATE 2008»
15 years 10 months ago
Quantified Synthesis of Reversible Logic
Robert Wille, Hoang M. Le, Gerhard W. Dueck, Danie...
134
Voted
ATVA
2007
Springer
127views Hardware» more  ATVA 2007»
15 years 9 months ago
Distributed Synthesis for Alternating-Time Logics
Sven Schewe, Bernd Finkbeiner