471 search results - page 17 / 95 » Automated Design of Misaligned-Carbon-Nanotube-Immune Circui... |
61
Voted
DAC
2002
ACM
16 years 2 days ago
2002
ACM
This paper gives a simple but nontrivial set of local transformation rules for Control-NOT(CNOT)-based combinatorial circuits. It is shown that this rule set is complete, namely, ...
ICCAD
2002
IEEE
15 years 8 months ago
2002
IEEE
Future high performance microprocessor design with technology scaling beyond 90nm will pose two major challenges: (1) energy and power, and (2) parameter variations. Design practi...
97
Voted
ASPDAC
2007
ACM
15 years 3 months ago
2007
ACM
Logic synthesis has made impressive progress in the last decade and has pervaded digital design replacing almost universally manual techniques. A remarkable exception is computer ...
ENTCS
2006
14 years 11 months ago
2006
A compiler that automatically translates recursive function definitions in higher order logic to clocked synchronous hardware is described. Compilation is by mechanised proof in t...
FPL
2004
Springer
15 years 4 months ago
2004
Springer
When designing SoCs, a unique opportunity exists to generate custom FPGA architectures that are specific to the application domain in which the device will be used. The inclusion o...