Sciweavers

275 search results - page 5 / 55
» Examples of Models of the Asynchronous Circuits
Sort
View
152
Voted
PRDC
2002
IEEE
16 years 9 days ago
Level Oriented Formal Model for Asynchronous Circuit Verification and its Efficient Analysis Method
Tomoya Kitai, Yusuke Oguro, Tomohiro Yoneda, Eric ...
ASYNC
2005
IEEE
132views Hardware» more  ASYNC 2005»
16 years 1 months ago
High Level Synthesis of Timed Asynchronous Circuits
This paper proposes applying a logic synthesis approach to high level synthesis from SpecC specifications to timed asynchronous gate-level circuits. The state-based logic synthes...
Tomohiro Yoneda, Atsushi Matsumoto, Manabu Kato, C...
189
Voted
ACSD
2006
IEEE
89views Hardware» more  ACSD 2006»
15 years 11 months ago
On process-algebraic verification of asynchronous circuits
Asynchronous circuits have received much attention recently due to their potential for energy savings. Process algebras have been extensively used in the modelling, analysis and sy...
Xu Wang, Marta Z. Kwiatkowska
CHES
2006
Springer
146views Cryptology» more  CHES 2006»
15 years 11 months ago
Path Swapping Method to Improve DPA Resistance of Quasi Delay Insensitive Asynchronous Circuits
This paper presents a Path Swapping (PS) method which enables to enhance the security of Quasi Delay Insensitive Asynchronous Circuits against Power Analysis (PA) attack. This appr...
G. Fraidy Bouesse, Gilles Sicard, Marc Renaudin