3130 search results - page 7 / 626 » Design Correctness of Digital Systems |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
We propose a novel theoretical biomolecular design to implement any Boolean circuit using the mechanism of DNA strand displacement. The design is scalable: all species of DNA stra...
ISCAS
2006
IEEE
14 years 1 months ago
2006
IEEE
—This paper introduces a technique to measure and adjust the relative phase of on-chip high speed digital signals using a random sampling technique of inferential statistics. The...
ICCD
1997
IEEE
13 years 11 months ago
1997
IEEE
Speed, cost and correctness may be the most important factors in designing a digital system. This paper proposes a novel and general methodology to synthesize iterative functions ...
DAC
1996
ACM
13 years 11 months ago
1996
ACM
Aggressive voltage scaling to 1V and below through technology, circuit, and architecture optimization has been proven to be the key to ultra low-power design. The key technology t...
ECBS
2006
IEEE
14 years 1 months ago
2006
IEEE
We present a design methodology for specifying embedded systems that addresses the complex nature of embedded systems design. Our approach uses modern model-based techniques to co...