
Index Terms
(auto-classified)Course and program descriptions
Recommendations
Power estimation for cycle-accurate functional descriptions of hardware
ICCAD '04: Proceedings of the 2004 IEEE/ACM International conference on Computer-aided designCycle-accurate functional descriptions (CAFD) are being widely adopted in integrated circuit (IC) design flows. Power estimation can potentially benefit from the inherent increase in simulation efficiency of cycle-based functional simulation. Currently, ...
From program verification to program synthesis
POPL '10This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier by allowing programs to be specified at a higher-level than executable ...






Comments