Login / Signup
Microprocessor power estimation using profile-driven program synthesis.
Cheng-Ta Hsieh
Massoud Pedram
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1998)
Keyphrases
</>
program synthesis
inductive logic programming
recursive programs
high speed
power consumption
reinforcement learning
pairwise
logic programs
power management
chip design
functional verification