This paper proposes a technique for creating a combinational logic network with an output that signals when all other outputs have stabilized. The method is based on dual-rail encoding, and guarantees low timing overhead and reasonable area and power overhead. We discuss various scenarios in which completion detection can be used to measure the delay of a synchronous circuit at fabrication time or at run time, and of an asynchronous circuit at run time. We conclude by showing, on a large set of benchmarks, the effectiveness of the proposed technique.Peer ReviewedPostprint (published version
This thesis concerns the problem of timing verification and synthesis of circuits for robust delay f...
We present a novel gate-level timing verification method that determines if a combinational circuit ...
Verifying correctness is a major bottleneck in today’s circuit and system design. Verification incl...
This paper proposes a technique for creating a combinational logic network with an output that signa...
This paper proposes a technique for creating a combinational logic network with an output that signa...
In this article, an alternative approach to detecting the computation completion of combinatorial bl...
Combinational logic circuit timing analysis is an important issue that all designers need to address...
Combinational logic circuit timing analysis is an important issue that all designers need to address...
Combinational logic circuit timing analysis is an important issue that all designers need to address...
A new method for designing single rail asynchronous circuits is studied. It utilises additional circ...
Combinational logic circuit timing analysis is an important issue that all designers need to address...
Due to the character of the original source materials and the nature of batch digitization, quality ...
The operating clock frequency is determined by the longest signal propagation delay, setup/hold time...
Estimation of the delay of a Boolean function from its functional description is an important step t...
Estimation of the delay of a Boolean function from its functional description is an important step t...
This thesis concerns the problem of timing verification and synthesis of circuits for robust delay f...
We present a novel gate-level timing verification method that determines if a combinational circuit ...
Verifying correctness is a major bottleneck in today’s circuit and system design. Verification incl...
This paper proposes a technique for creating a combinational logic network with an output that signa...
This paper proposes a technique for creating a combinational logic network with an output that signa...
In this article, an alternative approach to detecting the computation completion of combinatorial bl...
Combinational logic circuit timing analysis is an important issue that all designers need to address...
Combinational logic circuit timing analysis is an important issue that all designers need to address...
Combinational logic circuit timing analysis is an important issue that all designers need to address...
A new method for designing single rail asynchronous circuits is studied. It utilises additional circ...
Combinational logic circuit timing analysis is an important issue that all designers need to address...
Due to the character of the original source materials and the nature of batch digitization, quality ...
The operating clock frequency is determined by the longest signal propagation delay, setup/hold time...
Estimation of the delay of a Boolean function from its functional description is an important step t...
Estimation of the delay of a Boolean function from its functional description is an important step t...
This thesis concerns the problem of timing verification and synthesis of circuits for robust delay f...
We present a novel gate-level timing verification method that determines if a combinational circuit ...
Verifying correctness is a major bottleneck in today’s circuit and system design. Verification incl...