496 search results - page 39 / 100 » Using the Temporal Logic RDL for Design Specifications |
ICCAD
1995
IEEE
15 years 1 months ago
1995
IEEE
Abstract—We propose the use of the logic S1S as a mathematical framework for studying the synthesis of sequential designs. We will show that this leads to simple and mathematical...
PATMOS
2004
Springer
15 years 3 months ago
2004
Springer
Basic combinational gates, including NAND, NOR and XOR, are fundamental building blocks in CMOS digital circuits. This paper analyses and compares the power consumption due to tran...
CN
2004
14 years 9 months ago
2004
A number of web cache-related algorithms, such as replacement and prefetching policies, rely on specific characteristics present in the sequence of requests for efficient performa...
123
click to vote
DAC
2006
ACM
15 years 10 months ago
2006
ACM
Recent progress on nanodevices, such as carbon nanotubes and nanowires, points to promising directions for future circuit design. However, nanofabrication techniques are not yet m...
UML
2005
Springer
15 years 3 months ago
2005
Springer
While model based design of platform independent application logic has already shown significant success, the design of platform independent user interfaces still needs further in...