243 search results - page 13 / 49 » Synchronous Elastic Circuits |
GLVLSI
2007
IEEE
14 years 14 days ago
2007
IEEE
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...
FM
2003
Springer
14 years 1 months ago
2003
Springer
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
KES
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents a system for recognizing sketched logic circuits in real-time and graphically simulating them afterwords. It has been developed for use in university and school...
ISVLSI
2006
IEEE
14 years 2 months ago
2006
IEEE
We describe a new latch circuit designed to give a high performance in low voltage synchronizer applications. By increasing the latch current only during metastability, we can mor...
ASYNC
2004
IEEE
14 years 10 days ago
2004
IEEE
De-synchronization appears as a new paradigm to automate the design of asynchronous circuits from synchronous netlists. This paper studies different protocols for de-synchronizatio...