Sciweavers

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